public class ErrorSourceNameEnc extends java.lang.Object
ErrorSourceNameEnc(edu.cmu.sei.aadl.errorannex.ErrorSourceName esn, boolean not)
edu.cmu.sei.aadl.errorannex.ErrorSourceName
getEsn()
boolean
getNot()
void
setNot(boolean not)
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
public ErrorSourceNameEnc(edu.cmu.sei.aadl.errorannex.ErrorSourceName esn, boolean not)
public edu.cmu.sei.aadl.errorannex.ErrorSourceName getEsn()
public void setNot(boolean not)
public boolean getNot()