Hierarchy For All Packages

Package Hierarchies:

• wyautl_old,
• wyautl_old.io,
• wyautl_old.lang,
• wyautl_old.util,
• wyc,
• wyc.builder,
• wyc.commands,
• wyc.io,
• wyc.lang,
• wyc.util,
• wyil,
• wyil.builders,
• wyil.checks,
• wyil.io,
• wyil.lang,
• wyil.util,
• wyil.util.interpreter,
• wyil.util.type

Class Hierarchy

• java.lang.Object
  • wyil.util.AbstractBytecode
    • wyil.lang.Bytecode.AliasDeclaration (implements wyil.lang.Bytecode.Stmt)
    • wyil.lang.Bytecode.AssertOrAssume (implements wyil.lang.Bytecode.Stmt)
      • wyil.lang.Bytecode.Assert
      • wyil.lang.Bytecode.Assume
    • wyil.lang.Bytecode.Assign (implements wyil.lang.Bytecode.Stmt)
    • wyil.lang.Bytecode.Block (implements wyil.lang.Bytecode)
    • wyil.lang.Bytecode.Break (implements wyil.lang.Bytecode.Stmt)
    • wyil.lang.Bytecode.Const (implements wyil.lang.Bytecode.Expr)
    • wyil.lang.Bytecode.Continue (implements wyil.lang.Bytecode.Stmt)
    • wyil.lang.Bytecode.Convert (implements wyil.lang.Bytecode.Expr)
    • wyil.lang.Bytecode.Debug (implements wyil.lang.Bytecode.Stmt)
    • wyil.lang.Bytecode.Fail (implements wyil.lang.Bytecode.Stmt)
    • wyil.lang.Bytecode.FieldLoad (implements wyil.lang.Bytecode.Expr)
    • wyil.lang.Bytecode.If (implements wyil.lang.Bytecode.Stmt)
    • wyil.lang.Bytecode.IndirectInvoke (implements wyil.lang.Bytecode.StmtExpr)
    • wyil.lang.Bytecode.Invoke (implements wyil.lang.Bytecode.StmtExpr)
    • wyil.lang.Bytecode.Lambda (implements wyil.lang.Bytecode.Expr)
    • wyil.lang.Bytecode.Loop (implements wyil.lang.Bytecode.Stmt)
      • wyil.lang.Bytecode.DoWhile
      • wyil.lang.Bytecode.While
    • wyil.lang.Bytecode.NamedBlock (implements wyil.lang.Bytecode.Stmt)
    • wyil.lang.Bytecode.Operator (implements wyil.lang.Bytecode.Expr)
    • wyil.lang.Bytecode.Quantifier (implements wyil.lang.Bytecode.Expr)
    • wyil.lang.Bytecode.Return (implements wyil.lang.Bytecode.Stmt)
    • wyil.lang.Bytecode.Skip (implements wyil.lang.Bytecode.Stmt)
    • wyil.lang.Bytecode.Switch (implements wyil.lang.Bytecode.Stmt)
    • wyil.lang.Bytecode.VariableAccess (implements wyil.lang.Bytecode.Expr)
    • wyil.lang.Bytecode.VariableDeclaration (implements wyil.lang.Bytecode.Stmt)
  • java.util.AbstractCollection<E> (implements java.util.Collection<E>)
    • java.util.AbstractList<E> (implements java.util.List<E>)
      • java.util.ArrayList<E> (implements java.lang.Cloneable, java.util.List<E>, java.util.RandomAccess, java.io.Serializable)
        • wyil.util.TypeSystem.RecordState
  • wybs.util.AbstractCompilationUnit<T> (implements wybs.lang.CompilationUnit)
    • wyc.lang.WhileyFile
    • wyil.lang.WyilFile
  • wyc.util.AbstractProjectCommand<T> (implements wycc.lang.Command<T>)
    • wyc.commands.Compile
    • wyc.commands.Decompile
    • wyc.commands.Run
  • wyc.Activator (implements wycc.lang.Module.Activator)
  • wyc.Activator.Registry (implements wyfs.lang.Content.Registry)
  • wyautl_old.lang.Automata
  • wyautl_old.lang.Automaton
  • wyautl_old.lang.Automaton.State
  • wyautl_old.io.BinaryAutomataWriter (implements wyautl_old.io.GenericWriter<T>)
    • wyil.util.type.BinaryTypeWriter
  • wyautl_old.util.BinaryMatrix
  • wyil.lang.Bytecode.Case
  • wyil.lang.Bytecode.Index
  • wyil.lang.Bytecode.Range
  • wyil.lang.Bytecode.Schema
  • wyil.lang.Bytecode.Util
  • wyc.builder.CodeGenerator
  • wyil.checks.CoercionCheck (implements wybs.lang.Build.Stage<T>)
  • wyc.builder.CompileTask (implements wybs.lang.Build.Task)
  • wyil.lang.Constant (implements java.lang.Comparable<T>)
    • wyil.lang.Constant.Array
    • wyil.lang.Constant.Bool
    • wyil.lang.Constant.Byte
    • wyil.lang.Constant.FunctionOrMethod
    • wyil.lang.Constant.Integer
    • wyil.lang.Constant.Null
    • wyil.lang.Constant.Record
    • wyil.lang.Constant.Type
    • wyil.util.interpreter.Interpreter.ConstantLambda
    • wyil.util.interpreter.Interpreter.ConstantObject
  • wyc.builder.DecompileTask (implements wybs.lang.Build.Task)
  • wyc.builder.DefiniteAssignmentAnalysis
  • wyil.util.ErrorMessages
  • wyc.lang.Exprs
  • wyc.builder.FlowTypeChecker
  • wyil.util.interpreter.Interpreter
  • wyil.util.type.LifetimeRelation
  • wyil.lang.Modifier.Export (implements wyil.lang.Modifier)
  • wyil.lang.Modifier.Native (implements wyil.lang.Modifier)
  • wyil.lang.Modifier.Private (implements wyil.lang.Modifier)
  • wyil.lang.Modifier.Public (implements wyil.lang.Modifier)
  • wyc.builder.ModuleCheck
  • wyil.util.MoveAnalysis (implements wybs.lang.Build.Stage<T>)
  • org.apache.tools.ant.ProjectComponent (implements java.lang.Cloneable)
    • org.apache.tools.ant.Task
      • org.apache.tools.ant.taskdefs.MatchingTask (implements org.apache.tools.ant.types.selectors.SelectorContainer)
        • wyc.util.AntTask
  • wyil.util.interpreter.StandardFunctions
  • wyil.util.type.SubtypeOperator
    • wyil.util.type.ExplicitCoercionOperator
  • 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)
    • wyil.lang.SyntaxTree.Location<T>
    • 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
  • wyil.lang.SyntaxTree
  • wyil.util.SyntaxTrees
  • wyc.util.TestUtils
  • java.lang.Thread (implements java.lang.Runnable)
    • wyc.util.TestUtils.StreamGrabber
  • wyil.lang.Type.Impl (implements java.lang.Comparable<T>, wyil.lang.Type)
    • wyil.lang.Type.Impl.Conjunctable
      • wyil.lang.Type.Impl.Atom
        • wyil.lang.Type.Impl.FunctionOrMethod (implements wyil.lang.Type.FunctionOrMethod)
          • wyil.lang.Type.Impl.Function (implements wyil.lang.Type.Function)
          • wyil.lang.Type.Impl.Method (implements wyil.lang.Type.Method)
          • wyil.lang.Type.Impl.Property (implements wyil.lang.Type.Property)
        • wyil.lang.Type.Impl.PositiveAtom
          • wyil.lang.Type.Impl.Primitive (implements wyil.lang.Type.Primitive)
  • wyil.util.type.TypeAlgorithms
  • wyil.util.type.TypeParser
  • wyil.util.TypeSystem
  • wyil.util.TypeSystem.FunctionOrMethodState (implements java.lang.Comparable<T>)
  • wyil.builders.VerificationConditionGenerator
  • wyc.io.WhileyFileLexer
  • wyc.io.WhileyFileLexer.Token
  • wyc.io.WhileyFileParser
  • wyc.io.WhileyFilePrinter
  • wyil.builders.Wyil2WyalBuilder (implements wybs.lang.Build.Task)
  • wyil.lang.WyilFile.Block (implements wybs.lang.SyntacticElement)
    • wyil.lang.WyilFile.Declaration
      • wyil.lang.WyilFile.Constant
      • wyil.lang.WyilFile.FunctionOrMethodOrProperty
        • wyil.lang.WyilFile.FunctionOrMethod
        • wyil.lang.WyilFile.Property
      • wyil.lang.WyilFile.Type
  • wyil.io.WyilFilePrinter
  • wyil.io.WyilFileReader
  • wyil.io.WyilFileWriter

Interface Hierarchy

• wyil.lang.Bytecode
  • wyil.lang.Bytecode.Expr
    • wyil.lang.Bytecode.StmtExpr (also extends wyil.lang.Bytecode.Stmt)
  • wyil.lang.Bytecode.Stmt
    • wyil.lang.Bytecode.StmtExpr (also extends wyil.lang.Bytecode.Expr)
  • wyil.lang.Bytecode.StmtExpr (also extends wyil.lang.Bytecode.Expr, wyil.lang.Bytecode.Stmt)
• java.lang.Comparable<T>
  • wyal.lang.SyntacticItem (also extends wybs.lang.SyntacticElement)
    • wyc.lang.SyntacticType
    • wyal.lang.WyalFile.Type
      • wyc.lang.SyntacticType
  • wyc.lang.SyntacticType
  • wyal.lang.WyalFile.Type
    • wyc.lang.SyntacticType
• wyautl_old.io.GenericWriter<T>
• wyil.util.interpreter.Interpreter.InternalFunction
• wyil.lang.Modifier
• wyil.io.ModuleReader
• wybs.lang.SyntacticElement
  • wyc.lang.Expr
    • wyc.lang.Expr.LVal
  • wyc.lang.Expr.LVal
  • wyc.lang.Expr.Multi
  • wyc.lang.Stmt
  • wyal.lang.SyntacticItem (also extends java.lang.Comparable<T>)
    • wyc.lang.SyntacticType
    • wyal.lang.WyalFile.Type
      • wyc.lang.SyntacticType
  • wyc.lang.SyntacticType
  • wyc.lang.WhileyFile.Context
  • wyc.lang.WhileyFile.Declaration
  • wyal.lang.WyalFile.Type
    • wyc.lang.SyntacticType
• wyil.lang.Type
  • wyil.lang.Type.Array
  • wyil.lang.Type.EffectiveArray
    • wyil.lang.Type.Array
  • wyil.lang.Type.EffectiveRecord
    • wyil.lang.Type.Record
  • wyil.lang.Type.EffectiveReference
    • wyil.lang.Type.Reference
  • wyil.lang.Type.Function
  • wyil.lang.Type.FunctionOrMethod
    • wyil.lang.Type.Function
    • wyil.lang.Type.Method
    • wyil.lang.Type.Property
  • wyil.lang.Type.Intersection
  • wyil.lang.Type.Leaf
    • wyil.lang.Type.Nominal
    • wyil.lang.Type.Primitive
  • wyil.lang.Type.Method
  • wyil.lang.Type.Negation
  • wyil.lang.Type.Nominal
  • wyil.lang.Type.Primitive
  • wyil.lang.Type.Property
  • wyil.lang.Type.Record
  • wyil.lang.Type.Reference
  • wyil.lang.Type.Union

Enum Hierarchy

• java.lang.Object
  • java.lang.Enum<E> (implements java.lang.Comparable<T>, java.io.Serializable)
    • wyc.commands.Run.Result
    • wyc.commands.Decompile.Result
    • wyc.commands.Compile.Result
    • wyc.io.WhileyFileLexer.Token.Kind
    • wyc.lang.Expr.UOp
    • wyc.lang.Expr.QOp
    • wyc.lang.Expr.BOp
    • wyil.lang.Bytecode.OperatorKind
    • wyil.lang.Bytecode.QuantifierKind
    • wyil.lang.Bytecode.Operands
    • wyil.lang.Bytecode.OperandGroups
    • wyil.lang.Bytecode.Blocks
    • wyil.lang.Bytecode.Extras