Uses of Class
wyal.lang.WyalFile.Stmt.Block

Packages that use WyalFile.Stmt.Block

Package	Description
wyal.io
wyal.lang
wyal.util

Uses of WyalFile.Stmt.Block in wyal.io

Methods in wyal.io with parameters of type WyalFile.Stmt.Block

Modifier and Type	Method and Description
void	WyalFilePrinter.writeBlock(WyalFile.Stmt.Block block, int indent)

Uses of WyalFile.Stmt.Block in wyal.lang

Methods in wyal.lang that return WyalFile.Stmt.Block

Modifier and Type	Method and Description
WyalFile.Stmt.Block	WyalFile.Stmt.Block.clone(wybs.lang.SyntacticItem[] operands)
WyalFile.Stmt.Block	WyalFile.Stmt.CaseOf.get(int i)
WyalFile.Stmt.Block[]	WyalFile.Stmt.CaseOf.getAll()
WyalFile.Stmt.Block	WyalFile.Declaration.Assert.getBody()
WyalFile.Stmt.Block	WyalFile.Declaration.Named.Macro.getBody()
WyalFile.Stmt.Block	WyalFile.Stmt.Quantifier.getBody()
WyalFile.Stmt.Block	WyalFile.Stmt.IfThen.getIfBody()
WyalFile.Stmt.Block	WyalFile.Stmt.IfThen.getThenBody()

Methods in wyal.lang that return types with arguments of type WyalFile.Stmt.Block

Modifier and Type	Method and Description
wybs.util.AbstractCompilationUnit.Tuple<WyalFile.Stmt.Block>	WyalFile.Declaration.Named.Type.getInvariant()

Constructors in wyal.lang with parameters of type WyalFile.Stmt.Block

Constructor and Description
Assert(WyalFile.Stmt.Block body, String message)
CaseOf(WyalFile.Stmt.Block... cases)
ExistentialQuantifier(wybs.util.AbstractCompilationUnit.Tuple<WyalFile.VariableDeclaration> parameters, WyalFile.Stmt.Block body)
ExistentialQuantifier(WyalFile.VariableDeclaration[] parameters, WyalFile.Stmt.Block body)
FunctionOrMacro(wybs.util.AbstractCompilationUnit.Identifier name, wybs.util.AbstractCompilationUnit.Tuple<WyalFile.VariableDeclaration> parameters, WyalFile.Stmt.Block body)
IfThen(WyalFile.Stmt.Block ifBlock, WyalFile.Stmt.Block thenBlock)
Macro(wybs.util.AbstractCompilationUnit.Identifier name, WyalFile.VariableDeclaration[] parameters, WyalFile.Stmt.Block body)
Quantifier(int opcode, wybs.util.AbstractCompilationUnit.Tuple<WyalFile.VariableDeclaration> parameters, WyalFile.Stmt.Block body)
Quantifier(int opcode, WyalFile.VariableDeclaration[] parameters, WyalFile.Stmt.Block body)
Type(wybs.util.AbstractCompilationUnit.Identifier name, WyalFile.VariableDeclaration vardecl, WyalFile.Stmt.Block... invariant)
UniversalQuantifier(wybs.util.AbstractCompilationUnit.Tuple<WyalFile.VariableDeclaration> parameters, WyalFile.Stmt.Block body)
UniversalQuantifier(WyalFile.VariableDeclaration[] parameters, WyalFile.Stmt.Block body)

Uses of WyalFile.Stmt.Block in wyal.util

Methods in wyal.util with parameters of type WyalFile.Stmt.Block

Modifier and Type	Method and Description
protected Interpreter.Result	Interpreter.evaluateBlock(WyalFile.Stmt.Block block, Interpreter.Environment environment)