public class TypeInformation
extends java.lang.Object
Constructor and Description |
---|
TypeInformation(ITypeSystem typeSystem) |
Modifier and Type | Method and Description |
---|---|
void |
declareType(Expression expression,
IInputKey type)
Describes that the selected expression is declared to have the selected type
|
java.util.Set<IInputKey> |
getAllPossibleParameterTypes(Variable parameter) |
java.util.Set<IInputKey> |
getAllTypes(Expression expression) |
IInputKey |
getType(Expression expression) |
boolean |
isProcessed(Pattern pattern) |
void |
provideType(org.eclipse.viatra.query.patternlanguage.emf.types.judgements.AbstractTypeJudgement constraint)
Describes that a constraint ensures that a variable has a specific type
|
void |
setProcessed(Pattern pattern) |
java.lang.String |
toString() |
public TypeInformation(ITypeSystem typeSystem)
public boolean isProcessed(Pattern pattern)
public void setProcessed(Pattern pattern)
public void declareType(Expression expression, IInputKey type)
expression
- type
- public void provideType(org.eclipse.viatra.query.patternlanguage.emf.types.judgements.AbstractTypeJudgement constraint)
constraint
- public IInputKey getType(Expression expression)
public java.util.Set<IInputKey> getAllTypes(Expression expression)
public java.util.Set<IInputKey> getAllPossibleParameterTypes(Variable parameter)
public java.lang.String toString()
toString
in class java.lang.Object