Uses of Class
wyil.lang.SyntaxTree.Location

Packages that use SyntaxTree.Location

Package	Description
wyil.builders
wyil.lang	Provides core classes for representing WYIL modules and bytecodes.
wyil.util
wyil.util.interpreter

Uses of SyntaxTree.Location in wyil.builders

Methods in wyil.builders that return SyntaxTree.Location

Modifier and Type	Method and Description
SyntaxTree.Location<Bytecode.VariableDeclaration>	VerificationConditionGenerator.getVariableDeclaration(SyntaxTree.Location<?> decl)

Methods in wyil.builders with parameters of type SyntaxTree.Location

Modifier and Type	Method and Description
SyntaxTree.Location<Bytecode.VariableDeclaration>	VerificationConditionGenerator.getVariableDeclaration(SyntaxTree.Location<?> decl)
wyal.lang.WyalFile.Expr	VerificationConditionGenerator.invertCondition(wyal.lang.WyalFile.Expr expr, SyntaxTree.Location<?> elem) Generate the logically inverted expression corresponding to a given comparator.
wyal.lang.WyalFile.Expr[]	VerificationConditionGenerator.invertConditions(wyal.lang.WyalFile.Expr[] expr, SyntaxTree.Location<?> elem)
WyilFile.FunctionOrMethodOrProperty	VerificationConditionGenerator.lookupFunctionOrMethodOrProperty(wybs.lang.NameID name, Type.FunctionOrMethod fun, SyntaxTree.Location<?> stmt) Lookup a given function or method.

Uses of SyntaxTree.Location in wyil.lang

Methods in wyil.lang that return SyntaxTree.Location

Modifier and Type	Method and Description
SyntaxTree.Location<Bytecode.Block>	SyntaxTree.Location.getBlock(int i) Get the ith block contained in this statement.
SyntaxTree.Location<Bytecode.Block>	WyilFile.FunctionOrMethod.getBody() Get the body of this function or method
SyntaxTree.Location<?>	SyntaxTree.getLocation(int index) Get the location at a given index in this syntax tree.
SyntaxTree.Location<?>[]	SyntaxTree.getLocations(int... indices) Get the location at a given index in this syntax tree.
SyntaxTree.Location<?>	SyntaxTree.Location.getOperand(int i) Return the ith operand associated with this location.
SyntaxTree.Location<?>[]	SyntaxTree.Location.getOperandGroup(int i) Get the ith operand group in this location.
SyntaxTree.Location<?>[]	SyntaxTree.Location.getOperands() Return the ith operand associated with this location.

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

Modifier and Type	Method and Description
List<SyntaxTree.Location<Bytecode.Expr>>	WyilFile.Type.getInvariant() Get the list of expressions that make up the invariant of this type.
List<SyntaxTree.Location<?>>	SyntaxTree.getLocations()
List<SyntaxTree.Location<Bytecode.Expr>>	WyilFile.FunctionOrMethod.getPostcondition() Get the list of expressions that make up the postcondition of this function/method.
List<SyntaxTree.Location<Bytecode.Expr>>	WyilFile.FunctionOrMethodOrProperty.getPrecondition() Get the list of expressions that make up the precondition of this function/method.

Methods in wyil.lang with parameters of type SyntaxTree.Location

Modifier and Type	Method and Description
int	SyntaxTree.getIndexOf(SyntaxTree.Location<?> location) Get the index of a given location in this tree.
void	WyilFile.FunctionOrMethod.setBody(SyntaxTree.Location<Bytecode.Block> body)

Uses of SyntaxTree.Location in wyil.util

Methods in wyil.util with parameters of type SyntaxTree.Location

Modifier and Type	Method and Description
static int[]	SyntaxTrees.determineUsedVariables(SyntaxTree.Location<?>... roots) Traverse a syntax tree from one or more roots looking for variable accesses (uses).

Uses of SyntaxTree.Location in wyil.util.interpreter

Methods in wyil.util.interpreter that return SyntaxTree.Location

Modifier and Type	Method and Description
SyntaxTree.Location<Bytecode.VariableDeclaration>	Interpreter.getVariableDeclaration(SyntaxTree.Location<?> decl)

Methods in wyil.util.interpreter with parameters of type SyntaxTree.Location

Modifier and Type	Method and Description
Constant	Interpreter.InternalFunction.apply(Constant[] operands, Interpreter enclosing, SyntaxTree.Location<Bytecode.Operator> context)
void	Interpreter.checkInvariants(Constant[] frame, SyntaxTree.Location<Bytecode.Expr>... invariants) Evaluate zero or more conditional expressions, and check whether any is false.
SyntaxTree.Location<Bytecode.VariableDeclaration>	Interpreter.getVariableDeclaration(SyntaxTree.Location<?> decl)

Method parameters in wyil.util.interpreter with type arguments of type SyntaxTree.Location

Modifier and Type	Method and Description
void	Interpreter.checkInvariants(Constant[] frame, List<SyntaxTree.Location<Bytecode.Expr>> invariants) Evaluate zero or more conditional expressions, and check whether any is false.

Constructors in wyil.util.interpreter with parameters of type SyntaxTree.Location

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