wyal.lang

Class WyalFile

java.lang.Object

wyal.heap.AbstractSyntacticHeap

wyal.lang.WyalFile

All Implemented Interfaces:

SyntacticHeap, wybs.lang.CompilationUnit

public class WyalFile
extends AbstractSyntacticHeap
implements wybs.lang.CompilationUnit

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
static interface	WyalFile.Declaration
static interface	WyalFile.Expr
static class	WyalFile.FieldDeclaration
static class	WyalFile.Identifier Represents an identifier in a compilation unit.
static class	WyalFile.Name Represents a partial- or fully-qualified name within a compilation unit.
static class	WyalFile.Opcode
static class	WyalFile.Pair<K extends SyntacticItem,V extends SyntacticItem> Represents a pair of items in a compilation unit.
static interface	WyalFile.Stmt
static class	WyalFile.Tuple<T extends SyntacticItem> Represents a sequence of zero or more items in a compilation unit.
static interface	WyalFile.Type
static class	WyalFile.Value Represents a raw value within a compilation unit.
static class	WyalFile.VariableDeclaration
static class	WyalFile.VerificationError

Field Summary

Fields

Modifier and Type	Field and Description
static wyfs.lang.Content.Type<WyalFile>	CompiledContentType
static wyfs.lang.Content.Type<WyalFile>	ContentType
protected wyfs.lang.Path.Entry<WyalFile>	entry

Fields inherited from class wyal.heap.AbstractSyntacticHeap

syntacticItems

Constructor Summary

Constructors

Constructor and Description
WyalFile(wyfs.lang.Path.Entry<WyalFile> entry)

Method Summary

Modifier and Type	Method and Description
wyfs.lang.Path.Entry<WyalFile>	getEntry()
static void	print(Proof.Delta delta)
static void	print(SyntacticItem... items)
static void	println(Proof.Delta delta)
static void	println(SyntacticItem... items)
static WyalFile.Tuple<WyalFile.Type>	projectTypes(WyalFile.Tuple<WyalFile.VariableDeclaration> decls)

Methods inherited from class wyal.heap.AbstractSyntacticHeap

allocate, getIndexOf, getSyntacticItem, getSyntacticItems, print, size

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

ContentType

public static final wyfs.lang.Content.Type<WyalFile> ContentType

CompiledContentType

public static final wyfs.lang.Content.Type<WyalFile> CompiledContentType

entry

protected final wyfs.lang.Path.Entry<WyalFile> entry

Constructor Detail

WyalFile

public WyalFile(wyfs.lang.Path.Entry<WyalFile> entry)

Method Detail

getEntry

public wyfs.lang.Path.Entry<WyalFile> getEntry()

Specified by:

getEntry in interface wybs.lang.CompilationUnit

projectTypes

public static WyalFile.Tuple<WyalFile.Type> projectTypes(WyalFile.Tuple<WyalFile.VariableDeclaration> decls)

println

public static void println(Proof.Delta delta)

print

public static void print(Proof.Delta delta)

println

public static void println(SyntacticItem... items)

print

public static void print(SyntacticItem... items)