Hierarchy For Package wyc.lang

Package Hierarchies:

• All Packages

Class Hierarchy

• java.lang.Object
  • wybs.util.AbstractCompilationUnit<T> (implements wybs.lang.CompilationUnit)
    • wyc.lang.WhileyFile
  • wyc.lang.Exprs
  • wybs.lang.SyntacticElement.Impl (implements wybs.lang.SyntacticElement)
    • wyc.lang.Expr.AbstractFunctionOrMethod (implements wyc.lang.Expr)
      • wyc.lang.Expr.FunctionOrMethod
    • wyc.lang.Expr.AbstractIndirectInvoke (implements wyc.lang.Expr, wyc.lang.Stmt)
      • wyc.lang.Expr.IndirectFunctionOrMethodCall (implements wyc.lang.Expr.Multi)
        • wyc.lang.Expr.IndirectFunctionCall
        • wyc.lang.Expr.IndirectMethodCall
    • wyc.lang.Expr.AbstractInvoke (implements wyc.lang.Expr, wyc.lang.Stmt)
      • wyc.lang.Expr.FunctionOrMethodCall (implements wyc.lang.Expr.Multi)
        • wyc.lang.Expr.FunctionCall
        • wyc.lang.Expr.MethodCall
        • wyc.lang.Expr.PropertyCall
    • wyc.lang.Expr.AbstractVariable (implements wyc.lang.Expr, wyc.lang.Expr.LVal)
      • wyc.lang.Expr.LocalVariable
        • wyc.lang.Expr.AssignedVariable
    • wyc.lang.Expr.ArrayGenerator (implements wyc.lang.Expr)
    • wyc.lang.Expr.ArrayInitialiser (implements wyc.lang.Expr)
    • wyc.lang.Expr.BinOp (implements wyc.lang.Expr)
    • wyc.lang.Expr.Cast (implements wyc.lang.Expr)
    • wyc.lang.Expr.Constant (implements wyc.lang.Expr)
    • wyc.lang.Expr.ConstantAccess (implements wyc.lang.Expr)
    • wyc.lang.Expr.Dereference (implements wyc.lang.Expr.LVal)
    • wyc.lang.Expr.FieldAccess (implements wyc.lang.Expr.LVal)
    • wyc.lang.Expr.IndexOf (implements wyc.lang.Expr, wyc.lang.Expr.LVal)
    • wyc.lang.Expr.Lambda (implements wyc.lang.Expr)
    • wyc.lang.Expr.New (implements wyc.lang.Expr, wyc.lang.Stmt)
    • wyc.lang.Expr.Quantifier (implements wyc.lang.Expr)
    • wyc.lang.Expr.Record (implements wyc.lang.Expr)
    • wyc.lang.Expr.TypeVal (implements wyc.lang.Expr)
    • wyc.lang.Expr.UnOp (implements wyc.lang.Expr)
    • wyc.lang.Stmt.Assert (implements wyc.lang.Stmt)
    • wyc.lang.Stmt.Assign (implements wyc.lang.Stmt)
    • wyc.lang.Stmt.Assume (implements wyc.lang.Stmt)
    • wyc.lang.Stmt.Break (implements wyc.lang.Stmt)
    • wyc.lang.Stmt.Case
    • wyc.lang.Stmt.Continue (implements wyc.lang.Stmt)
    • wyc.lang.Stmt.DoWhile (implements wyc.lang.Stmt)
    • wyc.lang.Stmt.Fail (implements wyc.lang.Stmt)
    • wyc.lang.Stmt.IfElse (implements wyc.lang.Stmt)
    • wyc.lang.Stmt.NamedBlock (implements wyc.lang.Stmt)
    • wyc.lang.Stmt.Return (implements wyc.lang.Stmt)
    • wyc.lang.Stmt.Skip (implements wyc.lang.Stmt)
      • wyc.lang.Stmt.Debug
    • wyc.lang.Stmt.Switch (implements wyc.lang.Stmt)
    • wyc.lang.Stmt.VariableDeclaration (implements wyc.lang.Stmt)
    • wyc.lang.Stmt.While (implements wyc.lang.Stmt)
    • wyc.lang.WhileyFile.Import (implements wyc.lang.WhileyFile.Declaration)
    • wyc.lang.WhileyFile.NamedDeclaration (implements wyc.lang.WhileyFile.Declaration)
      • wyc.lang.WhileyFile.Constant
      • wyc.lang.WhileyFile.FunctionOrMethodOrProperty
        • wyc.lang.WhileyFile.Function
        • wyc.lang.WhileyFile.Method
        • wyc.lang.WhileyFile.Property
      • wyc.lang.WhileyFile.Type
    • wyc.lang.WhileyFile.Parameter

Interface Hierarchy

• java.lang.Comparable<T>
  • wyal.lang.SyntacticItem (also extends wybs.lang.SyntacticElement)
    • wyal.lang.WyalFile.Type
      • wyc.lang.SyntacticType
• wybs.lang.SyntacticElement
  • wyc.lang.Expr
    • wyc.lang.Expr.LVal
  • wyc.lang.Expr.Multi
  • wyc.lang.Stmt
  • wyal.lang.SyntacticItem (also extends java.lang.Comparable<T>)
    • wyal.lang.WyalFile.Type
      • wyc.lang.SyntacticType
  • wyc.lang.WhileyFile.Context
  • wyc.lang.WhileyFile.Declaration

Enum Hierarchy

• java.lang.Object
  • java.lang.Enum<E> (implements java.lang.Comparable<T>, java.io.Serializable)
    • wyc.lang.Expr.UOp
    • wyc.lang.Expr.QOp
    • wyc.lang.Expr.BOp