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

Packages that use WyalFile.Stmt.Block

Package	Description
wyal.io
wyal.lang

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(SyntacticItem[] operands)
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.CaseOf.getOperand(int i)
WyalFile.Stmt.Block[]	WyalFile.Stmt.CaseOf.getOperands()
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
WyalFile.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(WyalFile.Tuple<WyalFile.VariableDeclaration> parameters, WyalFile.Stmt.Block body)
ExistentialQuantifier(WyalFile.VariableDeclaration[] parameters, WyalFile.Stmt.Block body)
FunctionOrMacro(WyalFile.Identifier name, WyalFile.Tuple<WyalFile.VariableDeclaration> parameters, WyalFile.Stmt.Block body)
IfThen(WyalFile.Stmt.Block ifBlock, WyalFile.Stmt.Block thenBlock)
Macro(WyalFile.Identifier name, WyalFile.VariableDeclaration[] parameters, WyalFile.Stmt.Block body)
Quantifier(WyalFile.Opcode opcode, WyalFile.Tuple<WyalFile.VariableDeclaration> parameters, WyalFile.Stmt.Block body)
Quantifier(WyalFile.Opcode opcode, WyalFile.VariableDeclaration[] parameters, WyalFile.Stmt.Block body)
Type(WyalFile.Identifier name, WyalFile.VariableDeclaration vardecl, WyalFile.Stmt.Block... invariant)
UniversalQuantifier(WyalFile.Tuple<WyalFile.VariableDeclaration> parameters, WyalFile.Stmt.Block body)
UniversalQuantifier(WyalFile.VariableDeclaration[] parameters, WyalFile.Stmt.Block body)