Uses of Interface
fmrisc.ProgramExplorer.Syntax.Program.Import

Packages that use Import

Package	Description
fmrisc.ProgramExplorer.Parser
fmrisc.ProgramExplorer.Semantics
fmrisc.ProgramExplorer.Syntax
fmrisc.ProgramExplorer.Syntax.Program
fmrisc.ProgramExplorer.Syntax.Spec

Uses of Import in fmrisc.ProgramExplorer.Parser

Methods in fmrisc.ProgramExplorer.Parser that return types with arguments of type Import

Modifier and Type	Method and Description
java.util.Vector<Import>	SpecLangParser.imports()

Uses of Import in fmrisc.ProgramExplorer.Semantics

Methods in fmrisc.ProgramExplorer.Semantics with parameters of type Import

Modifier and Type	Method and Description
java.util.Vector<TheorySymbol>	LogicEnvironment.setTheories(PackageSymbol psymbol, TheorySymbol baseTheory, TheorySymbol classTheory, Import[] imports, Name[] tnames) Set in this environment the theories that may be referenced (ensuring that they are indeed read from file).

Uses of Import in fmrisc.ProgramExplorer.Syntax

Methods in fmrisc.ProgramExplorer.Syntax with parameters of type Import

Modifier and Type	Method and Description
void	ASTPrinter.visit(Import imp)

Uses of Import in fmrisc.ProgramExplorer.Syntax.Program

Classes in fmrisc.ProgramExplorer.Syntax.Program that implement Import

Modifier and Type	Class and Description
class	ClassImport Import of a single class.
class	ImportBase Base class of import statements.
class	PackageImport Import of all classes of a package.

Fields in fmrisc.ProgramExplorer.Syntax.Program declared as Import

Modifier and Type	Field and Description
Import[]	CompilationUnitBase.imports

Methods in fmrisc.ProgramExplorer.Syntax.Program that return Import

Modifier and Type	Method and Description
Import[]	CompilationUnit.getImports() Get import statements of unit
Import[]	CompilationUnitBase.getImports() Get import statements of unit

Methods in fmrisc.ProgramExplorer.Syntax.Program with parameters of type Import

Modifier and Type	Method and Description
static ClassDeclaration	ClassDeclaration.construct(Name pname, Import[] imports, Identifier name, TopDeclaration[] decls) Construct a class declaration

Method parameters in fmrisc.ProgramExplorer.Syntax.Program with type arguments of type Import

Modifier and Type	Method and Description
static ClassDeclaration	ClassDeclaration.construct(Name pname, java.util.Vector<Import> imports, Identifier name, java.util.Vector<TopDeclaration> decls) Construct a class declaration

Uses of Import in fmrisc.ProgramExplorer.Syntax.Spec

Methods in fmrisc.ProgramExplorer.Syntax.Spec that return Import

Modifier and Type	Method and Description
Import[]	UnitSpec.getImports() Get imports used by unit.

Methods in fmrisc.ProgramExplorer.Syntax.Spec with parameters of type Import

Modifier and Type	Method and Description
static TheoryDeclaration	TheoryDeclaration.construct(Name pname, Import[] imports, Identifier name, Name[] theories, Declaration[] decls) Construct a theory declaration

Method parameters in fmrisc.ProgramExplorer.Syntax.Spec with type arguments of type Import

Modifier and Type	Method and Description
static TheoryDeclaration	TheoryDeclaration.construct(Name pname, java.util.Vector<Import> imports, Identifier name, java.util.Vector<Name> theories, java.util.Vector<Declaration> decls) Construct a theory.
void	UnitSpec.setImports(java.util.Vector<Import> ts) Set imports used by unit.