wyc.lang

Interface WhileyFile.Context

All Superinterfaces:

wybs.lang.SyntacticElement

All Known Implementing Classes:

WhileyFile.Constant, WhileyFile.Function, WhileyFile.FunctionOrMethodOrProperty, WhileyFile.Method, WhileyFile.NamedDeclaration, WhileyFile.Parameter, WhileyFile.Property, WhileyFile.Type

Enclosing class:

WhileyFile

public static interface WhileyFile.Context
extends wybs.lang.SyntacticElement

Nested Class Summary

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

wybs.lang.SyntacticElement.Impl

Method Summary

Modifier and Type	Method and Description
WhileyFile	file()
List<WhileyFile.Import>	imports()

Methods inherited from interface wybs.lang.SyntacticElement

attribute, attributes

Method Detail

file

WhileyFile file()

imports

List<WhileyFile.Import> imports()