Hierarchy For All Packages

Package Hierarchies:

• it.unive.lisa.imp,
• it.unive.lisa.imp.antlr,
• it.unive.lisa.imp.constructs,
• it.unive.lisa.imp.expressions,
• it.unive.lisa.imp.types

Class Hierarchy

• java.lang.Object
  • org.antlr.v4.runtime.tree.AbstractParseTreeVisitor<T> (implements org.antlr.v4.runtime.tree.ParseTreeVisitor<T>)
    • it.unive.lisa.imp.antlr.IMPParserBaseVisitor<T> (implements it.unive.lisa.imp.antlr.IMPParserVisitor<T>)
      • it.unive.lisa.imp.IMPAnnotationVisitor
      • it.unive.lisa.imp.IMPFrontend
  • it.unive.lisa.imp.Antlr4Util
  • it.unive.lisa.imp.types.ArrayType (implements it.unive.lisa.type.ArrayType)
  • it.unive.lisa.imp.types.ClassType (implements it.unive.lisa.type.InMemoryType, it.unive.lisa.type.UnitType)
  • it.unive.lisa.imp.types.InterfaceType (implements it.unive.lisa.type.UnitType)
  • it.unive.lisa.program.language.LanguageFeatures
    • it.unive.lisa.imp.IMPFeatures
  • it.unive.lisa.program.cfg.NativeCFG (implements it.unive.lisa.program.cfg.CodeMember)
    • it.unive.lisa.imp.constructs.ArrayLength
    • it.unive.lisa.imp.constructs.StringConcat
    • it.unive.lisa.imp.constructs.StringContains
    • it.unive.lisa.imp.constructs.StringEndsWith
    • it.unive.lisa.imp.constructs.StringEquals
    • it.unive.lisa.imp.constructs.StringIndexOf
    • it.unive.lisa.imp.constructs.StringLength
    • it.unive.lisa.imp.constructs.StringReplace
    • it.unive.lisa.imp.constructs.StringStartsWith
    • it.unive.lisa.imp.constructs.StringSubstring
  • org.antlr.v4.runtime.Recognizer<Symbol,ATNInterpreter>
    • org.antlr.v4.runtime.Lexer (implements org.antlr.v4.runtime.TokenSource)
      • it.unive.lisa.imp.antlr.IMPLexer
    • org.antlr.v4.runtime.Parser
      • it.unive.lisa.imp.antlr.IMPParser
  • org.antlr.v4.runtime.RuleContext (implements org.antlr.v4.runtime.tree.RuleNode)
    • org.antlr.v4.runtime.ParserRuleContext
      • it.unive.lisa.imp.antlr.IMPParser.AnnotationContext
      • it.unive.lisa.imp.antlr.IMPParser.AnnotationMemberContext
      • it.unive.lisa.imp.antlr.IMPParser.AnnotationMembersContext
      • it.unive.lisa.imp.antlr.IMPParser.AnnotationsContext
      • it.unive.lisa.imp.antlr.IMPParser.AnnotationValueContext
      • it.unive.lisa.imp.antlr.IMPParser.ArgContext
      • it.unive.lisa.imp.antlr.IMPParser.ArgumentsContext
      • it.unive.lisa.imp.antlr.IMPParser.ArrayAccessContext
      • it.unive.lisa.imp.antlr.IMPParser.ArrayAnnotationValueContext
      • it.unive.lisa.imp.antlr.IMPParser.ArrayCreatorRestContext
      • it.unive.lisa.imp.antlr.IMPParser.ArrayExprContext
      • it.unive.lisa.imp.antlr.IMPParser.ArraySqDeclarationContext
      • it.unive.lisa.imp.antlr.IMPParser.AssignmentContext
      • it.unive.lisa.imp.antlr.IMPParser.BasicAnnotationValueContext
      • it.unive.lisa.imp.antlr.IMPParser.BasicExprContext
      • it.unive.lisa.imp.antlr.IMPParser.BinaryStringExprContext
      • it.unive.lisa.imp.antlr.IMPParser.BlockContext
      • it.unive.lisa.imp.antlr.IMPParser.BlockOrStatementContext
      • it.unive.lisa.imp.antlr.IMPParser.ClassMemberDeclarationsContext
      • it.unive.lisa.imp.antlr.IMPParser.ClassUnitContext
      • it.unive.lisa.imp.antlr.IMPParser.ConstantDeclarationContext
      • it.unive.lisa.imp.antlr.IMPParser.ConstructorDeclarationContext
      • it.unive.lisa.imp.antlr.IMPParser.ExpressionContext
      • it.unive.lisa.imp.antlr.IMPParser.FieldAccessContext
      • it.unive.lisa.imp.antlr.IMPParser.FieldDeclarationContext
      • it.unive.lisa.imp.antlr.IMPParser.FileContext
      • it.unive.lisa.imp.antlr.IMPParser.ForDeclarationContext
      • it.unive.lisa.imp.antlr.IMPParser.ForLoopContext
      • it.unive.lisa.imp.antlr.IMPParser.FormalContext
      • it.unive.lisa.imp.antlr.IMPParser.FormalsContext
      • it.unive.lisa.imp.antlr.IMPParser.IndexContext
      • it.unive.lisa.imp.antlr.IMPParser.InterfaceMemberDeclarationsContext
      • it.unive.lisa.imp.antlr.IMPParser.InterfaceUnitContext
      • it.unive.lisa.imp.antlr.IMPParser.LiteralContext
      • it.unive.lisa.imp.antlr.IMPParser.LocalDeclarationContext
      • it.unive.lisa.imp.antlr.IMPParser.LoopContext
      • it.unive.lisa.imp.antlr.IMPParser.MethodCallContext
      • it.unive.lisa.imp.antlr.IMPParser.MethodDeclarationContext
      • it.unive.lisa.imp.antlr.IMPParser.NewBasicArrayExprContext
      • it.unive.lisa.imp.antlr.IMPParser.NewReferenceTypeContext
      • it.unive.lisa.imp.antlr.IMPParser.ParExprContext
      • it.unive.lisa.imp.antlr.IMPParser.PrimitiveTypeContext
      • it.unive.lisa.imp.antlr.IMPParser.ReceiverContext
      • it.unive.lisa.imp.antlr.IMPParser.SignatureDeclarationContext
      • it.unive.lisa.imp.antlr.IMPParser.StatementContext
      • it.unive.lisa.imp.antlr.IMPParser.StringExprContext
      • it.unive.lisa.imp.antlr.IMPParser.TernaryStringExprContext
      • it.unive.lisa.imp.antlr.IMPParser.UnaryStringExprContext
      • it.unive.lisa.imp.antlr.IMPParser.UnitContext
      • it.unive.lisa.imp.antlr.IMPParser.UnitNameContext
      • it.unive.lisa.imp.antlr.IMPParser.UnitNamesContext
      • it.unive.lisa.imp.antlr.IMPParser.WhileLoopContext
  • it.unive.lisa.program.cfg.statement.Statement (implements it.unive.lisa.util.datastructures.graph.code.CodeNode<G,N,E>, java.lang.Comparable<T>, it.unive.lisa.program.cfg.ProgramPoint)
    • it.unive.lisa.program.cfg.statement.Expression
      • it.unive.lisa.program.cfg.statement.NaryExpression
        • it.unive.lisa.program.cfg.statement.BinaryExpression
          • it.unive.lisa.program.cfg.statement.string.Concat
            • it.unive.lisa.imp.constructs.StringConcat.IMPStringConcat (implements it.unive.lisa.program.cfg.statement.PluggableStatement)
          • it.unive.lisa.program.cfg.statement.string.Contains
            • it.unive.lisa.imp.constructs.StringContains.IMPStringContains (implements it.unive.lisa.program.cfg.statement.PluggableStatement)
          • it.unive.lisa.program.cfg.statement.string.EndsWith
            • it.unive.lisa.imp.constructs.StringEndsWith.IMPStringEndsWith (implements it.unive.lisa.program.cfg.statement.PluggableStatement)
          • it.unive.lisa.program.cfg.statement.string.Equals
            • it.unive.lisa.imp.constructs.StringEquals.IMPStringEquals (implements it.unive.lisa.program.cfg.statement.PluggableStatement)
          • it.unive.lisa.imp.expressions.IMPAddOrConcat
          • it.unive.lisa.imp.expressions.IMPArrayAccess
          • it.unive.lisa.program.cfg.statement.string.IndexOf
            • it.unive.lisa.imp.constructs.StringIndexOf.IMPStringIndexOf (implements it.unive.lisa.program.cfg.statement.PluggableStatement)
          • it.unive.lisa.program.cfg.statement.string.StartsWith
            • it.unive.lisa.imp.constructs.StringStartsWith.IMPStringStartsWith (implements it.unive.lisa.program.cfg.statement.PluggableStatement)
        • it.unive.lisa.imp.expressions.IMPNewArray
        • it.unive.lisa.imp.expressions.IMPNewObj
        • it.unive.lisa.program.cfg.statement.TernaryExpression
          • it.unive.lisa.program.cfg.statement.string.Replace
            • it.unive.lisa.imp.constructs.StringReplace.IMPStringReplace (implements it.unive.lisa.program.cfg.statement.PluggableStatement)
          • it.unive.lisa.program.cfg.statement.string.Substring
            • it.unive.lisa.imp.constructs.StringSubstring.IMPStringSubstring (implements it.unive.lisa.program.cfg.statement.PluggableStatement)
        • it.unive.lisa.program.cfg.statement.UnaryExpression
          • it.unive.lisa.imp.constructs.ArrayLength.IMPArrayLength (implements it.unive.lisa.program.cfg.statement.PluggableStatement)
          • it.unive.lisa.program.cfg.statement.string.Length
            • it.unive.lisa.imp.constructs.StringLength.IMPStringLength (implements it.unive.lisa.program.cfg.statement.PluggableStatement)
    • it.unive.lisa.program.cfg.statement.NaryStatement
      • it.unive.lisa.program.cfg.statement.UnaryStatement
        • it.unive.lisa.imp.expressions.IMPAssert
  • java.lang.Throwable (implements java.io.Serializable)
    • java.lang.Exception
      • it.unive.lisa.imp.ParsingException
      • java.lang.RuntimeException
        • it.unive.lisa.imp.IMPSyntaxException
  • it.unive.lisa.type.TypeSystem
    • it.unive.lisa.imp.types.IMPTypeSystem

Interface Hierarchy

• org.antlr.v4.runtime.tree.ParseTreeVisitor<T>
  • it.unive.lisa.imp.antlr.IMPParserVisitor<T>