Package: SOperationDefinitionBase
SOperationDefinitionBase
name | instruction | branch | complexity | line | method |
---|
SOperationDefinitionBase() |
|
|
|
|
|
SOperationDefinitionBase(ILexLocation, ILexNameToken, NameScope, Boolean, SClassDefinition, AAccessSpecifierAccessSpecifier, PType, Pass, ILexCommentList, List, PStm, PExp, PExp, AExplicitFunctionDefinition, AExplicitFunctionDefinition, AStateDefinition, PType, Boolean, PTypeSet) |
|
|
|
|
|
SOperationDefinitionBase(ILexLocation, NameScope, Boolean, AAccessSpecifierAccessSpecifier, Pass, ILexCommentList, List, PStm, PExp, PExp, Boolean, PTypeSet) |
|
|
|
|
|
equals(Object) |
|
|
|
|
|
getActualResult() |
|
|
|
|
|
getBody() |
|
|
|
|
|
getChildren(Boolean) |
|
|
|
|
|
getIsConstructor() |
|
|
|
|
|
getPossibleExceptions() |
|
|
|
|
|
getPostcondition() |
|
|
|
|
|
getPostdef() |
|
|
|
|
|
getPrecondition() |
|
|
|
|
|
getPredef() |
|
|
|
|
|
getState() |
|
|
|
|
|
hashCode() |
|
|
|
|
|
removeChild(INode) |
|
|
|
|
|
setActualResult(PType) |
|
|
|
|
|
setBody(PStm) |
|
|
|
|
|
setIsConstructor(Boolean) |
|
|
|
|
|
setPossibleExceptions(PTypeSet) |
|
|
|
|
|
setPostcondition(PExp) |
|
|
|
|
|
setPostdef(AExplicitFunctionDefinition) |
|
|
|
|
|
setPrecondition(PExp) |
|
|
|
|
|
setPredef(AExplicitFunctionDefinition) |
|
|
|
|
|
setState(AStateDefinition) |
|
|
|
|
|
toString() |
|
|
|
|
|
Coverage
ERROR: Error while reading the sourcefile!