Esempi in Java per ITypeSystemInferrer

Esempio n. 1

File: STextJavaValidator.java Progetto: Giiiz/statecharts

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

Esempio n. 2

File: STextJavaValidator.java Progetto: Giiiz/statecharts

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

Esempio n. 3

File: STextJavaValidator.java Progetto: Giiiz/statecharts

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