public class Obligation extends Object
See Weimer and Necula, Finding and preventing run-time error handling mistakes, OOPSLA 2004.
| Constructor and Description |
|---|
Obligation(String className,
int id) |
| Modifier and Type | Method and Description |
|---|---|
String |
getClassName() |
int |
getId() |
org.apache.bcel.generic.ObjectType |
getType() |
boolean |
isUserObligationType() |
void |
setUserObligationType(boolean userObligationType) |
String |
toString() |
public Obligation(@DottedClassName String className, int id)
@DottedClassName public String getClassName()
public org.apache.bcel.generic.ObjectType getType()
public int getId()
public boolean isUserObligationType()
public void setUserObligationType(boolean userObligationType)
Copyright © 2003–2015. All rights reserved.