Uses of Class
fmrisc.ProgramExplorer.InOut.Source

Packages that use Source

Package	Description
fmrisc.ProgramExplorer.InOut
fmrisc.ProgramExplorer.Parser
fmrisc.ProgramExplorer.Semantics
fmrisc.ProgramExplorer.SWT

Uses of Source in fmrisc.ProgramExplorer.InOut

Methods in fmrisc.ProgramExplorer.InOut that return Source

Modifier and Type	Method and Description
static Source	Source.create(java.io.File file, ErrorStream error) Construct a source file.
Source	ClassReader.getSource() Get source for class reader.
Source	SourcePositionClass.getSource() Get the source file.
Source	SourceAnnotationPosition.getSource() Get the source file.
Source	SourcePosition.getSource() Get the source file.
Source	StringSourcePosition.getSource() Get the source file.
Source	TheoryReader.getSource() Get source for class reader.

Methods in fmrisc.ProgramExplorer.InOut with parameters of type Source

Modifier and Type	Method and Description
void	ErrorStream.clearErrors(Source source) Clear errors for denoted source.

Constructors in fmrisc.ProgramExplorer.InOut with parameters of type Source

Constructor and Description
ClassReader(Source source, ErrorStream error) Create a reader of a class declaration.
SourcePositionClass(Source source, int line, int column) Construct a source position.
TheoryReader(Source source, ErrorStream error) Create a reader of a class declaration.

Uses of Source in fmrisc.ProgramExplorer.Parser

Constructors in fmrisc.ProgramExplorer.Parser with parameters of type Source

Constructor and Description
MiniJavaLexer(org.antlr.runtime.CharStream input, ErrorStream error, Source source)
MiniJavaParser(org.antlr.runtime.TokenStream input, ErrorStream error, Source source)
SpecLangLexer(org.antlr.runtime.CharStream input, ErrorStream error, Source source)
SpecLangParser(org.antlr.runtime.TokenStream input, ErrorStream error, Source source)

Uses of Source in fmrisc.ProgramExplorer.Semantics

Methods in fmrisc.ProgramExplorer.Semantics that return Source

Modifier and Type	Method and Description
Source	TheorySymbol.getSource() Get source of theory (respectively of associated class).
Source	ClassSymbol.getSource() Get source of class.

Uses of Source in fmrisc.ProgramExplorer.SWT

Methods in fmrisc.ProgramExplorer.SWT with parameters of type Source

Modifier and Type	Method and Description
void	TopWindow.clearAnnotations(Source source) Remove all annotations from denoted source.
void	TopWindow.displaySource(Source source) Display source..
void	SymbolTree.expand(Source source) Expand tree node associated to source (if any).
void	TopWindow.markSource(Source source, boolean error) Mark source to indicate whether it has/has not errors.