Uses of Class
wyil.lang.Constant

Packages that use Constant

Package	Description
wyc.builder	Provides the classes responsible for actually translating WhileyFiles into WyilFiles.
wyc.io
wyc.lang	Provides core classes for the Abstract Syntax Tree (AST) used to represent Whiley source files.
wyil.lang	Provides core classes for representing WYIL modules and bytecodes.
wyil.util.interpreter

Uses of Constant in wyc.builder

Methods in wyc.builder that return types with arguments of type Constant

Modifier and Type	Method and Description
wycc.util.Pair<Constant,Type>	FlowTypeChecker.resolveAsConstant(Expr e, WhileyFile.Context context) Resolve a given constant expression as a constant value.
wycc.util.Pair<Constant,Type>	FlowTypeChecker.resolveAsConstant(wybs.lang.NameID nid) Resolve a given name as a constant value.

Uses of Constant in wyc.io

Methods in wyc.io that return types with arguments of type Constant

Modifier and Type	Method and Description
protected List<Constant>	WhileyFileParser.parseString(String v) Parse a string constant whilst interpreting all escape characters.

Uses of Constant in wyc.lang

Fields in wyc.lang declared as Constant

Modifier and Type	Field and Description
Constant	WhileyFile.Constant.resolvedValue
Constant	Expr.Constant.value
Constant	Expr.ConstantAccess.value

Fields in wyc.lang with type parameters of type Constant

Modifier and Type	Field and Description
ArrayList<Constant>	Stmt.Case.constants

Constructors in wyc.lang with parameters of type Constant

Constructor and Description
Constant(Constant val, wybs.lang.Attribute... attributes)

Uses of Constant in wyil.lang

Subclasses of Constant in wyil.lang

Modifier and Type	Class and Description
static class	Constant.Array
static class	Constant.Bool
static class	Constant.Byte
static class	Constant.FunctionOrMethod Represents a named function or method.
static class	Constant.Integer
static class	Constant.Null
static class	Constant.Record
static class	Constant.Type

Methods in wyil.lang that return Constant

Modifier and Type	Method and Description
Constant	WyilFile.Constant.constant()
Constant	Bytecode.Const.constant()
Constant[]	Bytecode.Case.values()

Methods in wyil.lang that return types with arguments of type Constant

Modifier and Type	Method and Description
ArrayList<Constant>	Constant.FunctionOrMethod.arguments()
ArrayList<Constant>	Constant.Array.values()
HashMap<String,Constant>	Constant.Record.values()

Methods in wyil.lang with parameters of type Constant

Modifier and Type	Method and Description
int	Constant.Null.compareTo(Constant v)
int	Constant.Bool.compareTo(Constant v)
int	Constant.Byte.compareTo(Constant v)
int	Constant.Integer.compareTo(Constant v)
int	Constant.Array.compareTo(Constant v)
int	Constant.Record.compareTo(Constant v)
int	Constant.Type.compareTo(Constant v)
int	Constant.FunctionOrMethod.compareTo(Constant v)

Constructors in wyil.lang with parameters of type Constant

Constructor and Description
Case(int block, Constant... values)
Const(Constant constant)
Constant(WyilFile parent, Collection<Modifier> modifiers, String name, Constant constant, wybs.lang.Attribute... attributes)
Constant(WyilFile parent, Collection<Modifier> modifiers, String name, Constant constant, Collection<wybs.lang.Attribute> attributes)
FunctionOrMethod(wybs.lang.NameID name, Type.FunctionOrMethod type, Constant... arguments)

Constructor parameters in wyil.lang with type arguments of type Constant

Constructor and Description
Array(Collection<Constant> value)
Case(int block, List<Constant> values)
FunctionOrMethod(wybs.lang.NameID name, Type.FunctionOrMethod type, Collection<Constant> arguments)
Record(Map<String,Constant> value)

Uses of Constant in wyil.util.interpreter

Subclasses of Constant in wyil.util.interpreter

Modifier and Type	Class and Description
static class	Interpreter.ConstantLambda Represents an object allocated on the heap.
static class	Interpreter.ConstantObject Represents an object allocated on the heap.

Methods in wyil.util.interpreter with type parameters of type Constant

Modifier and Type	Method and Description
static <T extends Constant> T	Interpreter.checkType(Constant operand, wybs.lang.SyntacticElement context, Class<T>... types) Check that a given operand value matches an expected type.

Methods in wyil.util.interpreter that return Constant

Modifier and Type	Method and Description
Constant	Interpreter.InternalFunction.apply(Constant[] operands, Interpreter enclosing, SyntaxTree.Location<Bytecode.Operator> context)
Constant[]	Interpreter.execute(wybs.lang.NameID nid, Type.FunctionOrMethod sig, Constant... args) Execute a function or method identified by a name and type signature with the given arguments, producing a return value or null (if none).
Constant	Interpreter.ConstantObject.read()

Methods in wyil.util.interpreter with parameters of type Constant

Modifier and Type	Method and Description
Constant	Interpreter.InternalFunction.apply(Constant[] operands, Interpreter enclosing, SyntaxTree.Location<Bytecode.Operator> context)
void	Interpreter.checkInvariants(Constant[] frame, List<SyntaxTree.Location<Bytecode.Expr>> invariants) Evaluate zero or more conditional expressions, and check whether any is false.
void	Interpreter.checkInvariants(Constant[] frame, SyntaxTree.Location<Bytecode.Expr>... invariants) Evaluate zero or more conditional expressions, and check whether any is false.
static <T extends Constant> T	Interpreter.checkType(Constant operand, wybs.lang.SyntacticElement context, Class<T>... types) Check that a given operand value matches an expected type.
int	Interpreter.ConstantObject.compareTo(Constant o)
int	Interpreter.ConstantLambda.compareTo(Constant o)
Constant[]	Interpreter.execute(wybs.lang.NameID nid, Type.FunctionOrMethod sig, Constant... args) Execute a function or method identified by a name and type signature with the given arguments, producing a return value or null (if none).
boolean	Interpreter.isMemberOfType(Constant value, Type type, wybs.lang.SyntacticElement context) Determine whether a given value is a member of a given type.
void	Interpreter.ConstantObject.write(Constant newValue)

Constructors in wyil.util.interpreter with parameters of type Constant

Constructor and Description
ConstantLambda(SyntaxTree.Location<Bytecode.Lambda> lambda, Constant... frame)
ConstantObject(Constant value)