Package: ASpecificationStm
ASpecificationStm
name | instruction | branch | complexity | line | method |
---|
ASpecificationStm() |
|
|
|
|
|
ASpecificationStm(ILexLocation, ILexCommentList, List, PExp, PExp, List) |
|
|
|
|
|
ASpecificationStm(ILexLocation, PType, ILexCommentList, List, PExp, PExp, List) |
|
|
|
|
|
apply(IAnalysis) |
|
|
|
|
|
apply(IAnswer) |
|
|
|
|
|
apply(IQuestion, Object) |
|
|
|
|
|
apply(IQuestionAnswer, Object) |
|
|
|
|
|
clone() |
|
|
|
|
|
clone(Map) |
|
|
|
|
|
equals(Object) |
|
|
|
|
|
getChildren(Boolean) |
|
|
|
|
|
getErrors() |
|
|
|
|
|
getExternals() |
|
|
|
|
|
getPostcondition() |
|
|
|
|
|
getPrecondition() |
|
|
|
|
|
hashCode() |
|
|
|
|
|
removeChild(INode) |
|
|
|
|
|
setErrors(List) |
|
|
|
|
|
setExternals(List) |
|
|
|
|
|
setPostcondition(PExp) |
|
|
|
|
|
setPrecondition(PExp) |
|
|
|
|
|
toString() |
|
|
|
|
|
Coverage
ERROR: Error while reading the sourcefile!