wyc.lang

Class WhileyFile.Import

java.lang.Object

wybs.lang.SyntacticElement.Impl

wyc.lang.WhileyFile.Import

All Implemented Interfaces:

wybs.lang.SyntacticElement, WhileyFile.Declaration

Enclosing class:

WhileyFile

public static class WhileyFile.Import
extends wybs.lang.SyntacticElement.Impl
implements WhileyFile.Declaration

Represents an import declaration in a Whiley source file, which has the form:

 ImportDeclaration ::= "import" [Identifier|Star "from"] Identifier ('.' Identifier|'*')*
 

The following illustrates a simple import statement:

 import Console from whiley.lang.System
 

Here, the package is whiley.lang, the module is System and the name is Console.

Author:

David J. Pearce

Nested Class Summary

Nested classes/interfaces inherited from interface wybs.lang.SyntacticElement

wybs.lang.SyntacticElement.Impl

Field Summary

Fields

Modifier and Type	Field and Description
wyfs.util.Trie	filter
String	name

Constructor Summary

Constructors

Constructor and Description
Import(wyfs.util.Trie filter, String name, wybs.lang.Attribute... attributes)

Method Summary

Methods inherited from class wybs.lang.SyntacticElement.Impl

attribute, attributes

Methods inherited from class java.lang.Object

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

Methods inherited from interface wybs.lang.SyntacticElement

attribute, attributes

Field Detail

filter

public final wyfs.util.Trie filter

name

public final String name

Constructor Detail

Import

public Import(wyfs.util.Trie filter,
              String name,
              wybs.lang.Attribute... attributes)