, including all inherited members.
| checkArity(String inExpr, JType...expressions) | edu.mit.csail.sdg.squander.spec.TypeChecker | [protected] |
| checkBoolean(JType expr, Node node) | edu.mit.csail.sdg.squander.spec.TypeChecker | [protected] |
| checkInteger(JType expr, Node node) | edu.mit.csail.sdg.squander.spec.TypeChecker | [protected] |
| checkJoin(JType primary, JType rest) | edu.mit.csail.sdg.squander.spec.TypeChecker | [protected] |
| checkSubtype(String expr, JType sub, JType supr) | edu.mit.csail.sdg.squander.spec.TypeChecker | [protected] |
| checkUnary(JType expr, Node node) | edu.mit.csail.sdg.squander.spec.TypeChecker | [protected] |
| clsSpec | edu.mit.csail.sdg.squander.spec.TypeChecker | [private] |
| getClass(String name) | edu.mit.csail.sdg.squander.spec.TypeChecker | [private] |
| getFldOwner(String fldName) | edu.mit.csail.sdg.squander.spec.TypeChecker | [private] |
| main(String[] args) | edu.mit.csail.sdg.squander.spec.TypeChecker | [static] |
| print(List< Node > rest) | edu.mit.csail.sdg.squander.spec.TypeChecker | [private] |
| resolveField(NameSpace env, Node tree) | edu.mit.csail.sdg.squander.spec.TypeChecker | [private] |
| resolveType(NameSpace env, String name) | edu.mit.csail.sdg.squander.spec.TypeChecker | [private] |
| scene | edu.mit.csail.sdg.squander.spec.TypeChecker | [protected] |
| setClsSpecForSpecField(ClassSpec clsSpec) | edu.mit.csail.sdg.squander.spec.TypeChecker | |
| setTypeParams(JType primary, JType.Unary[] typeParams) | edu.mit.csail.sdg.squander.spec.TypeChecker | [private] |
| TypeChecker(JavaScene scene) | edu.mit.csail.sdg.squander.spec.TypeChecker | |
| validate(Node tree, JType type) | edu.mit.csail.sdg.squander.spec.TypeChecker | [protected] |
| visitAmbiguous(NameSpace env, List< Node > idents) | edu.mit.csail.sdg.squander.spec.TypeChecker | |
| visitArgument(NameSpace env, int i) | edu.mit.csail.sdg.squander.spec.TypeChecker | [protected] |
| visitArrayType(NameSpace env, Node base) | edu.mit.csail.sdg.squander.spec.TypeChecker | [protected] |
| visitBinary(NameSpace env, Node tree, int op, Node leftTree, Node rightTree) | edu.mit.csail.sdg.squander.spec.TypeChecker | [protected] |
| visitBooleanType(NameSpace env) | edu.mit.csail.sdg.squander.spec.TypeChecker | [protected] |
| visitBracket(NameSpace env, JType primary, Node tree) | edu.mit.csail.sdg.squander.spec.TypeChecker | [protected] |
| visitCastExpression(NameSpace env, Node type, Node sub) | edu.mit.csail.sdg.squander.spec.TypeChecker | [protected] |
| visitConditional(NameSpace env, Node condTree, Node leftTree, Node rightTree) | edu.mit.csail.sdg.squander.spec.TypeChecker | [protected] |
| visitDecimal(NameSpace env, int i) | edu.mit.csail.sdg.squander.spec.TypeChecker | [protected] |
| visitFalse(NameSpace env) | edu.mit.csail.sdg.squander.spec.TypeChecker | [protected] |
| visitFieldDeclaration(NameSpace env, Node ident, int op, Node set, Node frame, Node constraint) | edu.mit.csail.sdg.squander.spec.TypeChecker | [protected] |
| visitFieldRelation(NameSpace env, Node type, Node ident) | edu.mit.csail.sdg.squander.spec.TypeChecker | [protected] |
| visitFrame(NameSpace env, List< JType > joins, List< Node > fields, List< JType > selectors, List< JType > lowers, List< JType > uppers) | edu.mit.csail.sdg.squander.spec.TypeChecker | [protected] |
| visitIntegralType(NameSpace env) | edu.mit.csail.sdg.squander.spec.TypeChecker | [protected] |
| visitJoin(NameSpace env, JType primary, Node tree) | edu.mit.csail.sdg.squander.spec.TypeChecker | [protected] |
| visitJoinReflexive(NameSpace env, JType primary, Node tree) | edu.mit.csail.sdg.squander.spec.TypeChecker | [protected] |
| visitMethodCall(NameSpace env, JType receiver, String name, Node arguments) | edu.mit.csail.sdg.squander.spec.TypeChecker | [protected] |
| visitName(NameSpace env, Node ident) | edu.mit.csail.sdg.squander.spec.TypeChecker | |
| visitNull(NameSpace env) | edu.mit.csail.sdg.squander.spec.TypeChecker | [protected] |
| visitOld(NameSpace env, Node sub) | edu.mit.csail.sdg.squander.spec.TypeChecker | [protected] |
| visitQuantification(NameSpace env, int op, List< String > names, List< String > mults, List< Node > sets, Node expr) | edu.mit.csail.sdg.squander.spec.TypeChecker | [protected] |
| visitRefType(NameSpace env, Node source, List< Node > idents) | edu.mit.csail.sdg.squander.spec.TypeChecker | [protected] |
| visitReturn(NameSpace env) | edu.mit.csail.sdg.squander.spec.TypeChecker | [protected] |
| visitString(NameSpace env, String s) | edu.mit.csail.sdg.squander.spec.TypeChecker | [protected] |
| visitSuper(NameSpace env) | edu.mit.csail.sdg.squander.spec.TypeChecker | [protected] |
| visitThis(NameSpace env) | edu.mit.csail.sdg.squander.spec.TypeChecker | [protected] |
| visitThrow(NameSpace env) | edu.mit.csail.sdg.squander.spec.TypeChecker | [protected] |
| visitTrue(NameSpace env) | edu.mit.csail.sdg.squander.spec.TypeChecker | [protected] |
| visitTypeParams(NameSpace env, Node node) | edu.mit.csail.sdg.squander.spec.TypeChecker | [private] |
| visitUnary(NameSpace env, Node tree, int op, Node expr) | edu.mit.csail.sdg.squander.spec.TypeChecker | [protected] |
