Package org.sonar.java.se.xproc

Class MethodBehavior

java.lang.Object
org.sonar.java.se.xproc.MethodBehavior
public class MethodBehavior extends Object

  • Constructor Details

    • MethodBehavior

      public MethodBehavior(String signature, boolean varArgs)

  • Method Details

    • addYield

      public void addYield(MethodYield methodYield)

    • createYield

      public void createYield(ExplodedGraph.Node node)

    • createExceptionalCheckBasedYield

      public ExceptionalYield createExceptionalCheckBasedYield(SymbolicValue target, ExplodedGraph.Node node, String exceptionType, SECheck check)

    • isMethodVarArgs

      public boolean isMethodVarArgs()

    • methodArity

      public int methodArity()

    • yields

      public List<MethodYield> yields()

    • exceptionalPathYields

      public Stream<ExceptionalYield> exceptionalPathYields()

    • happyPathYields

      public Stream<HappyPathYield> happyPathYields()

    • addParameter

      public void addParameter(SymbolicValue sv)

    • parameters

      public List<SymbolicValue> parameters()

    • isComplete

      public boolean isComplete()

    • completed

      public void completed()

    • isVisited

      public boolean isVisited()

    • visited

      public void visited()

    • signature

      public String signature()

    • setVarArgs

      public void setVarArgs(boolean varArgs)

    • getDeclaredExceptions

      public List<String> getDeclaredExceptions()

    • setDeclaredExceptions

      public void setDeclaredExceptions(List<String> declaredExceptions)

    • toString

      public String toString()
      Overrides:
      toString in class Object

    • equals

      public boolean equals(Object obj)
      Overrides:
      equals in class Object

    • hashCode

      public int hashCode()
      Overrides:
      hashCode in class Object