wyc.lang

Class WhileyFile

java.lang.Object

wybs.util.AbstractCompilationUnit

wyc.lang.WhileyFile

All Implemented Interfaces:

wybs.lang.CompilationUnit

public final class WhileyFile
extends wybs.util.AbstractCompilationUnit

Provides classes representing the various kinds of declaration found in a Whiley source file. This includes type declarations, method declarations, constant declarations, etc. In essence, a WhileyFile forms the root of the Abstract Syntax Tree.

Author:

David J. Pearce

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
class	WhileyFile.Constant Represents a constant declaration in a Whiley source file, which has the form:
static interface	WhileyFile.Context
static interface	WhileyFile.Declaration
class	WhileyFile.Function Represents a function declaration in a Whiley source file.
class	WhileyFile.FunctionOrMethodOrProperty Represents a function declaration or method declaration in a Whiley source file which have the form:
static class	WhileyFile.Import Represents an import declaration in a Whiley source file, which has the form:
class	WhileyFile.Method Represents a method declaration in a Whiley source file.
class	WhileyFile.NamedDeclaration
class	WhileyFile.Parameter Represents a parameter declaration as part of a function or method declaration.
class	WhileyFile.Property Represents a function declaration in a Whiley source file.
class	WhileyFile.Type Represents a type declaration in a Whiley source file, which has the form:

Field Summary

Fields

Modifier and Type	Field and Description
static wyfs.lang.Content.Type<WhileyFile>	ContentType
ArrayList<WhileyFile.Declaration>	declarations

Fields inherited from class wybs.util.AbstractCompilationUnit

entry

Constructor Summary

Constructors

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

Method Summary

Modifier and Type	Method and Description
void	add(WhileyFile.Declaration declaration)
WhileyFile.NamedDeclaration	declaration(String name)
<T> List<T>	declarations(Class<T> c)
<T> List<T>	declarations(Class<T> c, String name)
boolean	hasName(String name)
static void	internalFailure(String msg, WhileyFile.Context context, wybs.lang.SyntacticElement elem)
static void	internalFailure(String msg, WhileyFile.Context context, wybs.lang.SyntacticElement elem, Throwable ex)
static void	syntaxError(String msg, WhileyFile.Context context, wybs.lang.SyntacticElement elem)
static void	syntaxError(String msg, WhileyFile.Context context, wybs.lang.SyntacticElement elem, Throwable ex)
WhileyFile.Type	typeDecl(String name)

Methods inherited from class wybs.util.AbstractCompilationUnit

getEntry

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<WhileyFile> ContentType

declarations

public final ArrayList<WhileyFile.Declaration> declarations

Constructor Detail

WhileyFile

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

Method Detail

hasName

public boolean hasName(String name)

declaration

public WhileyFile.NamedDeclaration declaration(String name)

declarations

public <T> List<T> declarations(Class<T> c)

declarations

public <T> List<T> declarations(Class<T> c,
                                String name)

typeDecl

public WhileyFile.Type typeDecl(String name)

add

public void add(WhileyFile.Declaration declaration)

syntaxError

public static void syntaxError(String msg,
                               WhileyFile.Context context,
                               wybs.lang.SyntacticElement elem)

syntaxError

public static void syntaxError(String msg,
                               WhileyFile.Context context,
                               wybs.lang.SyntacticElement elem,
                               Throwable ex)

internalFailure

public static void internalFailure(String msg,
                                   WhileyFile.Context context,
                                   wybs.lang.SyntacticElement elem)

internalFailure

public static void internalFailure(String msg,
                                   WhileyFile.Context context,
                                   wybs.lang.SyntacticElement elem,
                                   Throwable ex)