Package: AClassInvariantDefinition
AClassInvariantDefinition
name | instruction | branch | complexity | line | method |
---|
AClassInvariantDefinition() |
|
|
|
|
|
AClassInvariantDefinition(ILexLocation, ILexNameToken, NameScope, Boolean, SClassDefinition, AAccessSpecifierAccessSpecifier, PType, Pass, ILexCommentList, List, PExp) |
|
|
|
|
|
AClassInvariantDefinition(ILexLocation, NameScope, Boolean, AAccessSpecifierAccessSpecifier, Pass, ILexCommentList, List, PExp) |
|
|
|
|
|
apply(IAnalysis) |
|
|
|
|
|
apply(IAnswer) |
|
|
|
|
|
apply(IQuestion, Object) |
|
|
|
|
|
apply(IQuestionAnswer, Object) |
|
|
|
|
|
clone() |
|
|
|
|
|
clone(Map) |
|
|
|
|
|
equals(Object) |
|
|
|
|
|
getChildren(Boolean) |
|
|
|
|
|
getExpression() |
|
|
|
|
|
hashCode() |
|
|
|
|
|
removeChild(INode) |
|
|
|
|
|
setExpression(PExp) |
|
|
|
|
|
toString() |
|
|
|
|
|
Coverage
ERROR: Error while reading the sourcefile!