JML

org.multijava.mjc
Class Main.ExpectedResult

java.lang.Object
  extended byorg.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.


Field Summary
private  String qualifiedName
           
 
Constructor Summary
protected Main.ExpectedResult(String qualifiedName)
           
 
Method Summary
abstract  boolean equals(Object other)
           
 boolean equals(Main.ExpectedResult other)
           
abstract  boolean foundIn(JCompilationUnitType cu)
          Returns true if this expected result is contained in cu.
 int hashCode()
           
 boolean isIndifferent()
           
 String qualifiedName()
           
 String toString()
           
 
Methods inherited from class java.lang.Object
clone, finalize, getClass, notify, notifyAll, wait, wait, wait
 

Field Detail

qualifiedName

private final String qualifiedName
Constructor Detail

Main.ExpectedResult

protected Main.ExpectedResult(String qualifiedName)
Method Detail

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

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.