fmrisc.ProgramExplorer.Syntax.Program

Interface CompilationUnit

All Superinterfaces:

AST, ASTProgram, ASTProgramAnnotated, ASTSource, Declaration, ProgramDeclaration

All Known Implementing Classes:

ClassDeclaration, CompilationUnitBase, TheoryDeclaration

public interface CompilationUnit
extends ProgramDeclaration

Interface to a compilation unit.

Method Summary

Modifier and Type	Method and Description
Import[]	getImports() Get import statements of unit
Name	getPackage() Get package name of unit

Methods inherited from interface fmrisc.ProgramExplorer.Syntax.Declaration

getName

Methods inherited from interface fmrisc.ProgramExplorer.Syntax.ASTSource

getPosition, setPosition

Methods inherited from interface fmrisc.ProgramExplorer.Syntax.Program.ASTProgramAnnotated

getAnnotation, setAnnotation

Methods inherited from interface fmrisc.ProgramExplorer.Syntax.AST

accept, accept, acceptChildren, print, printCore, toString, toStringCore

Method Detail

getPackage

Name getPackage()

Get package name of unit

Returns:

the unit's package name (may be null)

getImports

Import[] getImports()

Get import statements of unit

Returns:

the unit's import statements