Class TypeInformation


  • public class TypeInformation
    extends java.lang.Object
    This class is used to store type information for selected patterns
    Since:
    2.0
    • Constructor Detail

      • TypeInformation

        public TypeInformation​(ITypeSystem typeSystem)
    • Method Detail

      • isProcessed

        public boolean isProcessed​(Pattern pattern)
      • setProcessed

        public void setProcessed​(Pattern pattern)
      • declareType

        public void declareType​(Expression expression,
                                IInputKey type)
        Describes that the selected expression is declared to have the selected type
        Parameters:
        expression -
        type -
      • provideType

        public void provideType​(org.eclipse.viatra.query.patternlanguage.emf.types.judgements.AbstractTypeJudgement constraint)
        Describes that a constraint ensures that a variable has a specific type
        Parameters:
        constraint -
      • getAllPossibleParameterTypes

        public java.util.Set<IInputKey> getAllPossibleParameterTypes​(Variable parameter)
        Since:
        1.4
      • toString

        public java.lang.String toString()
        Overrides:
        toString in class java.lang.Object