public class Obligation
extends java.lang.Object
See Weimer and Necula, Finding and preventing run-time error handling mistakes, OOPSLA 2004.
Constructor and Description |
---|
Obligation(java.lang.String className,
int id) |
Modifier and Type | Method and Description |
---|---|
java.lang.String |
getClassName() |
int |
getId() |
org.apache.bcel.generic.ObjectType |
getType() |
boolean |
isUserObligationType() |
void |
setUserObligationType(boolean userObligationType) |
java.lang.String |
toString() |
public Obligation(@DottedClassName java.lang.String className, int id)
@DottedClassName public java.lang.String getClassName()
public org.apache.bcel.generic.ObjectType getType()
public int getId()
public boolean isUserObligationType()
public void setUserObligationType(boolean userObligationType)
public java.lang.String toString()
toString
in class java.lang.Object
FindBugs™ is licenced under the LGPL. Copyright © 2006 University of Maryland.