ariba.util.expr
Class TypeChecker

java.lang.Object
  ariba.util.expr.ASTNodeVisitor
      ariba.util.expr.TypeChecker

public class TypeChecker
extends ASTNodeVisitor

Method Summary

static SymbolTable	check(Environment env, java.lang.String rootType, Node tree)
static SymbolTable	check(Environment env, java.lang.String rootType, Node tree, java.util.List errorCollector)
static SymbolTable	check(Environment env, java.lang.String rootType, Node tree, java.util.Map semanticRecordMap)
static SymbolTable	check(Environment env, java.lang.String rootType, Node tree, java.util.Map semanticRecordMap, java.util.List errorCollector)
static SymbolTable	check(Environment env, java.lang.String rootType, java.lang.String fieldName, Node tree, java.util.Map semanticRecordMap)
static SymbolTable	check(Environment env, java.lang.String rootType, java.lang.String fieldName, java.lang.String expectedType, java.lang.String containerType, boolean exactMatch, Node tree, java.util.List errorCollector)
static SymbolTable	check(Environment env, java.lang.String rootType, java.lang.String thisField, java.lang.String expectedType, java.lang.String containerType, boolean exactMatch, Node tree, java.util.Map semanticRecordMap, java.util.List errorCollector)
static void	verifyReturnedType(Environment env, Node tree, java.lang.String expectedType, java.lang.String containerType, boolean exactMatch, java.util.List errors, boolean skipForObjectClass)

Methods inherited from class ariba.util.expr.ASTNodeVisitor

visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Method Detail

check

public static SymbolTable check(Environment env,
                                java.lang.String rootType,
                                Node tree,
                                java.util.List errorCollector)

check

public static SymbolTable check(Environment env,
                                java.lang.String rootType,
                                java.lang.String fieldName,
                                java.lang.String expectedType,
                                java.lang.String containerType,
                                boolean exactMatch,
                                Node tree,
                                java.util.List errorCollector)

check

public static SymbolTable check(Environment env,
                                java.lang.String rootType,
                                Node tree)

check

public static SymbolTable check(Environment env,
                                java.lang.String rootType,
                                Node tree,
                                java.util.Map semanticRecordMap)

check

public static SymbolTable check(Environment env,
                                java.lang.String rootType,
                                java.lang.String fieldName,
                                Node tree,
                                java.util.Map semanticRecordMap)

check

public static SymbolTable check(Environment env,
                                java.lang.String rootType,
                                Node tree,
                                java.util.Map semanticRecordMap,
                                java.util.List errorCollector)

check

public static SymbolTable check(Environment env,
                                java.lang.String rootType,
                                java.lang.String thisField,
                                java.lang.String expectedType,
                                java.lang.String containerType,
                                boolean exactMatch,
                                Node tree,
                                java.util.Map semanticRecordMap,
                                java.util.List errorCollector)

verifyReturnedType

public static void verifyReturnedType(Environment env,
                                      Node tree,
                                      java.lang.String expectedType,
                                      java.lang.String containerType,
                                      boolean exactMatch,
                                      java.util.List errors,
                                      boolean skipForObjectClass)