Java ITypeSystemInferrer Examples

Example #1

File: STextJavaValidator.java Project: Giiiz/statecharts

 @Check
 public void checkExpression(TimeEventSpec expression) {
   typeInferrer.inferType(expression, this);
 }

Example #2

File: STextJavaValidator.java Project: Giiiz/statecharts

 @Check
 public void checkExpression(Guard expression) {
   typeInferrer.inferType(expression, this);
 }

Example #3

File: STextJavaValidator.java Project: Giiiz/statecharts

 @Check
 public void checkExpression(VariableDefinition expression) {
   if (expression.getType() == null || expression.getType().eIsProxy()) return;
   typeInferrer.inferType(expression, this);
 }