use of com.oracle.graal.pointsto.flow.InitialParamTypeFlow in project graal by oracle.
the class PointsToStats method asString.
private static String asString(TypeFlow<?> flow) {
if (flow instanceof AllInstantiatedTypeFlow) {
return "AllInstantiated(" + formatType(flow.getDeclaredType(), true) + ")";
} else if (flow instanceof AllSynchronizedTypeFlow) {
return "AllSynchronized";
} else if (flow instanceof UnknownTypeFlow) {
return "Unknown";
} else if (flow instanceof FieldSinkTypeFlow) {
FieldSinkTypeFlow sink = (FieldSinkTypeFlow) flow;
return "FieldSink(" + formatField(sink.getSource()) + ")";
} else if (flow instanceof FieldTypeFlow) {
FieldTypeFlow fieldFlow = (FieldTypeFlow) flow;
AnalysisField field = fieldFlow.getSource();
return (field.isStatic() ? "StaticField" : "InstanceField") + "(" + formatField(field) + ")";
} else if (flow instanceof StoreInstanceFieldTypeFlow) {
StoreInstanceFieldTypeFlow store = (StoreInstanceFieldTypeFlow) flow;
return "InstanceStore(" + formatField(store.field()) + ")@" + formatSource(flow);
} else if (flow instanceof StoreStaticFieldTypeFlow) {
StoreStaticFieldTypeFlow store = (StoreStaticFieldTypeFlow) flow;
return "StaticStore(" + formatField(store.field()) + ")@" + formatSource(flow);
} else if (flow instanceof LoadInstanceFieldTypeFlow) {
LoadInstanceFieldTypeFlow load = (LoadInstanceFieldTypeFlow) flow;
return "InstanceLoad(" + formatField(load.field()) + ")@" + formatSource(flow);
} else if (flow instanceof LoadStaticFieldTypeFlow) {
LoadStaticFieldTypeFlow load = (LoadStaticFieldTypeFlow) flow;
return "StaticLoad(" + formatField(load.field()) + ")@" + formatSource(flow);
} else if (flow instanceof StoreIndexedTypeFlow) {
return "IndexedStore @ " + formatSource(flow);
} else if (flow instanceof UnsafeStoreTypeFlow) {
return "UnsafeStore @ " + formatSource(flow);
} else if (flow instanceof UnsafePartitionStoreTypeFlow) {
return "UnsafePartitionStore @ " + formatSource(flow);
} else if (flow instanceof UnsafeWriteSinkTypeFlow) {
UnsafeWriteSinkTypeFlow sink = (UnsafeWriteSinkTypeFlow) flow;
return "UnsafeWriteSink(" + formatField(sink.getSource()) + ")";
} else if (flow instanceof JavaWriteTypeFlow) {
return "JavaWrite @ " + formatSource(flow);
} else if (flow instanceof AtomicWriteTypeFlow) {
return "AtomicWrite @ " + formatSource(flow);
} else if (flow instanceof CompareAndSwapTypeFlow) {
return "CompareAndSwap @ " + formatSource(flow);
} else if (flow instanceof LoadIndexedTypeFlow) {
return "IndexedLoad @ " + formatSource(flow);
} else if (flow instanceof UnsafeLoadTypeFlow) {
return "UnsafeLoad @ " + formatSource(flow);
} else if (flow instanceof UnsafePartitionLoadTypeFlow) {
return "UnsafePartitionLoad @ " + formatSource(flow);
} else if (flow instanceof JavaReadTypeFlow) {
return "JavaRead @ " + formatSource(flow);
} else if (flow instanceof AtomicReadTypeFlow) {
return "AtomicRead @ " + formatSource(flow);
} else if (flow instanceof ArrayElementsTypeFlow) {
ArrayElementsTypeFlow arrayFlow = (ArrayElementsTypeFlow) flow;
return "ArrayElements(" + (arrayFlow.object() != null ? arrayFlow.object().type().toJavaName(false) : "?") + ")";
} else if (flow instanceof NullCheckTypeFlow) {
NullCheckTypeFlow nullCheck = (NullCheckTypeFlow) flow;
return "NullCheck(" + (nullCheck.isFilterNull() ? "not-null" : "only-null") + ")@" + formatSource(flow);
} else if (flow instanceof FilterTypeFlow) {
FilterTypeFlow filter = (FilterTypeFlow) flow;
String properties = filter.isExact() ? "exact" : "not-exact";
properties += ", " + (filter.isAssignable() ? "assignable" : "not-assignable");
properties += ", " + (filter.includeNull() ? "include-null" : "not-include-null");
return "Filter(" + properties + ", " + formatType(filter.getType(), true) + ")@" + formatSource(flow);
} else if (flow instanceof FieldFilterTypeFlow) {
FieldFilterTypeFlow filter = (FieldFilterTypeFlow) flow;
return "FieldFilter(" + formatField(filter.getSource()) + ")";
} else if (flow instanceof FrozenFieldFilterTypeFlow) {
FrozenFieldFilterTypeFlow filter = (FrozenFieldFilterTypeFlow) flow;
return "FrozenFieldFilter(" + formatField(filter.getSource()) + ")";
} else if (flow instanceof InstanceOfTypeFlow) {
InstanceOfTypeFlow instanceOf = (InstanceOfTypeFlow) flow;
return "InstanceOf(" + formatType(instanceOf.getDeclaredType(), true) + ")@" + formatSource(flow);
} else if (flow instanceof NewInstanceTypeFlow) {
return "NewInstance(" + flow.getDeclaredType().toJavaName(false) + ")@" + formatSource(flow);
} else if (flow instanceof DynamicNewInstanceTypeFlow) {
return "DynamicNewInstance @ " + formatSource(flow);
} else if (flow instanceof InvokeTypeFlow) {
InvokeTypeFlow invoke = (InvokeTypeFlow) flow;
return "Invoke(" + formatMethod(invoke.getTargetMethod()) + ")@" + formatSource(flow);
} else if (flow instanceof InitialParamTypeFlow) {
InitialParamTypeFlow param = (InitialParamTypeFlow) flow;
return "InitialParam(" + param.position() + ")@" + formatMethod(param.method());
} 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);
} else if (flow instanceof ActualReturnTypeFlow) {
ActualReturnTypeFlow ret = (ActualReturnTypeFlow) flow;
InvokeTypeFlow invoke = ret.invokeFlow();
return "ActualReturn(" + formatMethod(invoke.getTargetMethod()) + ")@ " + formatSource(flow);
} else if (flow instanceof MergeTypeFlow) {
return "Merge @ " + formatSource(flow);
} else if (flow instanceof SourceTypeFlow) {
return "Source @ " + formatSource(flow);
} else if (flow instanceof CloneTypeFlow) {
return "Clone @ " + formatSource(flow);
} else if (flow instanceof MonitorEnterTypeFlow) {
MonitorEnterTypeFlow monitor = (MonitorEnterTypeFlow) flow;
return "MonitorEnter @ " + formatMethod(monitor.getMethod());
} else {
return flow.getClass().getSimpleName() + "@" + formatSource(flow);
}
}
Aggregations