wyal.lang

Interfaces

• Domain
• Domain.Generator
• Domain.Value
• Domain.Value.Array
• Domain.Value.Boolean
• Domain.Value.Integer
• Domain.Value.Null
• Domain.Value.Record
• WyalFile.Attribute
• WyalFile.Declaration
• WyalFile.Declaration.Named
• WyalFile.Expr
• WyalFile.Stmt
• WyalFile.Type
• WyalFile.Type.Primitive

Classes

• WyalFile
• WyalFile.Attribute.Proof
• WyalFile.Declaration.Assert
• WyalFile.Declaration.Import
• WyalFile.Declaration.Named.Function
• WyalFile.Declaration.Named.FunctionOrMacro
• WyalFile.Declaration.Named.Macro
• WyalFile.Declaration.Named.Type
• WyalFile.Expr.Addition
• WyalFile.Expr.ArrayAccess
• WyalFile.Expr.ArrayGenerator
• WyalFile.Expr.ArrayInitialiser
• WyalFile.Expr.ArrayLength
• WyalFile.Expr.ArrayUpdate
• WyalFile.Expr.Cast
• WyalFile.Expr.Constant
• WyalFile.Expr.Dereference
• WyalFile.Expr.Division
• WyalFile.Expr.Equal
• WyalFile.Expr.ExistentialQuantifier
• WyalFile.Expr.GreaterThan
• WyalFile.Expr.GreaterThanOrEqual
• WyalFile.Expr.InfixOperator
• WyalFile.Expr.Invoke
• WyalFile.Expr.Is
• WyalFile.Expr.LessThan
• WyalFile.Expr.LessThanOrEqual
• WyalFile.Expr.LogicalAnd
• WyalFile.Expr.LogicalIff
• WyalFile.Expr.LogicalImplication
• WyalFile.Expr.LogicalNot
• WyalFile.Expr.LogicalOr
• WyalFile.Expr.Multiplication
• WyalFile.Expr.Negation
• WyalFile.Expr.NotEqual
• WyalFile.Expr.Operator
• WyalFile.Expr.Quantifier
• WyalFile.Expr.RecordAccess
• WyalFile.Expr.RecordInitialiser
• WyalFile.Expr.RecordUpdate
• WyalFile.Expr.Remainder
• WyalFile.Expr.Subtraction
• WyalFile.Expr.UniversalQuantifier
• WyalFile.Expr.VariableAccess
• WyalFile.FieldDeclaration
• WyalFile.Stmt.Block
• WyalFile.Stmt.CaseOf
• WyalFile.Stmt.ExistentialQuantifier
• WyalFile.Stmt.IfThen
• WyalFile.Stmt.Quantifier
• WyalFile.Stmt.UniversalQuantifier
• WyalFile.Type.Any
• WyalFile.Type.Array
• WyalFile.Type.Atom
• WyalFile.Type.Bool
• WyalFile.Type.Byte
• WyalFile.Type.Function
• WyalFile.Type.FunctionOrMacroOrInvariant
• WyalFile.Type.FunctionOrMethodOrProperty
• WyalFile.Type.Int
• WyalFile.Type.Intersection
• WyalFile.Type.Invariant
• WyalFile.Type.Method
• WyalFile.Type.Negation
• WyalFile.Type.Nominal
• WyalFile.Type.Null
• WyalFile.Type.Property
• WyalFile.Type.Record
• WyalFile.Type.Reference
• WyalFile.Type.Union
• WyalFile.Type.UnionOrIntersection
• WyalFile.Type.Void
• WyalFile.VariableDeclaration
• WyalFile.VerificationError