SSAPropagationCallGraphBuilder.ConstraintVisitor.InvariantComputer (wala 1.6.5-SNAPSHOT API)

All Known Implementing Classes:: SSAPropagationCallGraphBuilder.ConstraintVisitor.DefaultInvariantComputer

Enclosing class:: SSAPropagationCallGraphBuilder.ConstraintVisitor

protected static interface SSAPropagationCallGraphBuilder.ConstraintVisitor.InvariantComputer

Method Summary

Modifier and Type

Method

Description

InstanceKey[][]

computeInvariantParameters(SSAAbstractInvokeInstruction call)

Method Details
- computeInvariantParameters
  
  InstanceKey[][] computeInvariantParameters(SSAAbstractInvokeInstruction call)