org.multijava.mjc
Class Main.ExpectedResult
java.lang.Object
org.multijava.mjc.Main.ExpectedResult
- Direct Known Subclasses:
- Main.ExpectedGF, Main.ExpectedIndifferent, Main.ExpectedType
- Enclosing class:
- Main
- protected static abstract class Main.ExpectedResult
- extends Object
This class represents the expected result of parsing a file.
qualifiedName
private final String qualifiedName
Main.ExpectedResult
protected Main.ExpectedResult(String qualifiedName)
foundIn
public abstract boolean foundIn(JCompilationUnitType cu)
- Returns true if this expected result is contained in cu.
isIndifferent
public boolean isIndifferent()
qualifiedName
public final String qualifiedName()
hashCode
public final int hashCode()
- Overrides:
hashCode in class Object
equals
public abstract boolean equals(Object other)
- Overrides:
equals in class Object
equals
public boolean equals(Main.ExpectedResult other)
toString
public String toString()
- Overrides:
toString in class Object
JML is Copyright (C) 1998-2002 by Iowa State University and is distributed under the GNU General Public License as published by the Free Software Foundation; either version 2 of the License, or (at your option) any later version. This release depends on code from the MultiJava project and is based in part on the Kopi project Copyright (C) 1990-99 DMS Decision Management Systems Ges.m.b.H.