How to use

FormalParamTypeFlow

in

com.oracle.graal.pointsto.flow

@Override
public TypeFlow<ParameterNode> copy(BigBang bb, MethodFlowsGraph methodFlows) {
  return new FormalParamTypeFlow(this, methodFlows);
}

public boolean addReceiverState(BigBang bb, TypeState add) {
  // The type state of a receiver cannot be null.
  return super.addState(bb, add.forNonNull(bb));
}

@Override
public String toString() {
  StringBuilder str = new StringBuilder();
  str.append("FormalParamFlow").append("[").append(method.format("%H.%n")).append("]").append("[").append(position).append("]<").append(getState()).append(">");
  return str.toString();
}

} else if (flow instanceof FormalParamTypeFlow) {
  FormalParamTypeFlow param = (FormalParamTypeFlow) flow;
  return "Parameter(" + param.position() + ")@" + formatMethod(param.method());
} else if (flow instanceof FormalReturnTypeFlow) {
  return "Return @ " + formatSource(flow);

TypeState state = method.getTypeFlow().getParameterTypeState(bigbang, i);
if (state != null) {
  AnalysisType declaredType = method.getTypeFlow().getOriginalMethodFlows().getParameter(i).getDeclaredType();
  if (declaredType.isInterface()) {
    state = TypeState.forSubtraction(bigbang, state, declaredType.getTypeFlow(bigbang, true).getState());

int offset = isStatic ? 0 : 1;
AnalysisType paramType = (AnalysisType) method.getSignature().getParameterType(index - offset, method.getDeclaringClass());
parameter = new FormalParamTypeFlow(node, paramType, method, index);