public interface ITypeChecker
IConstraint.getNRLDataType() for a
constraint will return its type.
The traveral method also returns a collection
SemanticError objects in case of any type
checking errors.
Use:
check(IOperators) to check operator files - this should be done
before checking the rule files the operators are used in
check(IRuleFile) to check rule files
CAUTION: The checker relies on the AST being in absolute order. If any resolver or model resolver errors occurred previously, the type checker must not be used.
| Modifier and Type | Method and Description |
|---|---|
void |
addTypeMapping(ITypeMapping mapping)
Add a type mapping for the checker to map model types to abstract
internal types.
|
List<NRLError> |
check(IOperators operators)
Type check an operator collection.
|
List<NRLError> |
check(IRuleFile ruleFile)
Type check a rule file and assign a type to all constraints.
|
void addTypeMapping(ITypeMapping mapping)
mapping - the mappingList<NRLError> check(IRuleFile ruleFile)
ruleFile - the rule file to checkList<NRLError> check(IOperators operators)
operators - the operators to checkCopyright © 2006-2013. All Rights Reserved.