Uses of Class
org.multijava.mjc.Main.ExpectedResult

Packages that use Main.ExpectedResult

org.jmlspecs.checker	Contains the source code for a parser and typechecker for JML annotations and java code.
org.jmlspecs.jmlrac	Generates Java classes from JML specifications that check assertions at runtime.
org.multijava.mjc	Implements mjc, a MultiJava compiler.

Uses of Main.ExpectedResult in org.jmlspecs.checker

Methods in org.jmlspecs.checker with parameters of type Main.ExpectedResult

Main.ParseTask

Main.firstTask(File filename, Main.ExpectedResult expected) Generates the first task in the compilation sequence.

Constructors in org.jmlspecs.checker with parameters of type Main.ExpectedResult

Main.JmlParseTask(File fileName, Main.ExpectedResult expected)

Main.JmlParseTask(File fileName, boolean isRefinedCUnit, Main.ExpectedResult expected)
Constructs a new parse task for a refined file.

Uses of Main.ExpectedResult in org.jmlspecs.jmlrac

Methods in org.jmlspecs.jmlrac with parameters of type Main.ExpectedResult

Main.ParseTask

Main.firstTask(File filename, Main.ExpectedResult expected) Generates the first task in the compilation sequence.

Constructors in org.jmlspecs.jmlrac with parameters of type Main.ExpectedResult

Main.JavaParseTask(File fileName, Main.ExpectedResult expected)

Uses of Main.ExpectedResult in org.multijava.mjc

Subclasses of Main.ExpectedResult in org.multijava.mjc

protected static class	Main.ExpectedGF
protected static class	Main.ExpectedIndifferent
protected static class	Main.ExpectedType

Fields in org.multijava.mjc declared as Main.ExpectedResult

private Main.ExpectedResult

Main.ParseTask.expected The expected result of parsing files[0].

Methods in org.multijava.mjc with parameters of type Main.ExpectedResult

Main.ParseTask	Main.firstTask(File filename, Main.ExpectedResult expected) Generates the first task in the compilation sequence.
protected void	Main.currentlyParsingFor(File f, Main.ExpectedResult expected) Registers with the current session that the given file is being parsed in hopes of finding the given expected result.
protected boolean	Main.isCurrentlyParsingFor(File f, Main.ExpectedResult expected) Returns true iff the given file is currently being parsed in hopes of finding the given expected result.
protected boolean	Main.hasAlreadyFailedToParseFor(File f, Main.ExpectedResult expected) Returns true if we have already tried and failed to parse the given file for the given expected result.
boolean	Main.ExpectedResult.equals(Main.ExpectedResult other)

Constructors in org.multijava.mjc with parameters of type Main.ExpectedResult

Main.ParseTask(File fileName, Main.ExpectedResult expected)