com.togethersoft.sca.dataflow
Interface IMethod

All Superinterfaces:

IMember, INamedUnit

public interface IMethod

extends IMember

method of the class or interface

Fields inherited from interface com.togethersoft.sca.dataflow.INamedUnit

DEFAULT_ACCESS, KIND_CLASS, KIND_FIELD, KIND_INTERFACE, KIND_METHOD, KIND_PACKAGE, KIND_PROJECT, KINDS_NUMBER, MODIFIER_ABSTRACT, MODIFIER_FINAL, MODIFIER_NATIVE, MODIFIER_STATIC, MODIFIER_STRICTFP, MODIFIER_SYNCHRONIZED, MODIFIER_TRANSIENT, MODIFIER_VOLATILE, PRIVATE_ACCESS, PROTECTED_ACCESS, PUBLIC_ACCESS

Method Summary

boolean	bodyPresent() returns true iff sorcerer have access to method source
boolean	callsUnknown() Returns true if call to this method may cause the call of method we do not have information on.
IDataFlowGraph	getDataFlowGraph() access the data flow graph for the method
AstTypeReference[]	getExceptions() Returns the set of exceptions that may be raised during execution of this method.
ITuple[]	getRecursiveCalls() Returns points of nontrivially recursive calls.
boolean	isClassInitializer() returns true iff the method is class initializer
boolean	isEmpty() returns true iff method does nothing
boolean	isGetter() returns true iff method`s only activity is getting the value of class data member
boolean	isReachable() returns true iff this method is either public, or may be called if some public method is called
boolean	isSetter() returns true iff method`s only activity is setting the value[s] to class data member[s]

Methods inherited from interface com.togethersoft.sca.dataflow.INamedUnit

accessType, getAstObject, isAbstract, isFinal, isNative, isStatic, isStrictfp, isSynchronized, isTransient, isVolatile, modifiers, name, remove, scope, unitKind

Method Detail

bodyPresent

public boolean bodyPresent()

returns true iff sorcerer have access to method source

callsUnknown

public boolean callsUnknown()

Returns true if call to this method may cause the call of method we do not have information on.

getDataFlowGraph

public IDataFlowGraph getDataFlowGraph()

access the data flow graph for the method

getExceptions

public AstTypeReference[] getExceptions()

Returns the set of exceptions that may be raised during execution of this method. The set includes both exceptions that may be raised in the body of this method and exceptions that may be thrown by the called methods.

Note that exceptions returned by getExceptions may differ from those specified in the method's throws clause.

getRecursiveCalls

public ITuple[] getRecursiveCalls()

Returns points of nontrivially recursive calls.

isClassInitializer

public boolean isClassInitializer()

returns true iff the method is class initializer

isEmpty

public boolean isEmpty()

returns true iff method does nothing

isGetter

public boolean isGetter()

returns true iff method`s only activity is getting the value of class data member

isReachable

public boolean isReachable()

returns true iff this method is either public, or may be called if some public method is called

isSetter

public boolean isSetter()

returns true iff method`s only activity is setting the value[s] to class data member[s]