Package it.unive.lisa.imp

Class IMPFeatures

  • public class IMPFeatures
extends it.unive.lisa.program.language.LanguageFeatures
    IMP's LanguageFeatures implementation.

    • Constructor Summary

      Constructors 
      Constructor Description
      IMPFeatures()  

    • Method Summary

      All Methods Instance Methods Concrete Methods 
      Modifier and Type Method Description
      it.unive.lisa.program.language.parameterassignment.ParameterAssigningStrategy getAssigningStrategy()  
      it.unive.lisa.program.language.resolution.ParameterMatchingStrategy getMatchingStrategy()  
      it.unive.lisa.program.language.validation.ProgramValidationLogic getProgramValidationLogic()  
      it.unive.lisa.program.language.hierarchytraversal.HierarcyTraversalStrategy getTraversalStrategy()  

      • Methods inherited from class java.lang.Object

        clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

    • Constructor Detail

      • IMPFeatures

        public IMPFeatures()

    • Method Detail

      • getMatchingStrategy

        public it.unive.lisa.program.language.resolution.ParameterMatchingStrategy getMatchingStrategy()
        Specified by:
        getMatchingStrategy in class it.unive.lisa.program.language.LanguageFeatures

      • getTraversalStrategy

        public it.unive.lisa.program.language.hierarchytraversal.HierarcyTraversalStrategy getTraversalStrategy()
        Specified by:
        getTraversalStrategy in class it.unive.lisa.program.language.LanguageFeatures

      • getAssigningStrategy

        public it.unive.lisa.program.language.parameterassignment.ParameterAssigningStrategy getAssigningStrategy()
        Specified by:
        getAssigningStrategy in class it.unive.lisa.program.language.LanguageFeatures

      • getProgramValidationLogic

        public it.unive.lisa.program.language.validation.ProgramValidationLogic getProgramValidationLogic()
        Specified by:
        getProgramValidationLogic in class it.unive.lisa.program.language.LanguageFeatures