public static class VirtualEdgesSummaries.VirtualEdge extends Object
| Constructor and Description |
|---|
VirtualEdge(Kind edgeType,
VirtualEdgesSummaries.VirtualEdgeSource source,
Collection<VirtualEdgesSummaries.VirtualEdgeTarget> targets) |
VirtualEdge(Kind edgeType,
VirtualEdgesSummaries.VirtualEdgeSource source,
VirtualEdgesSummaries.VirtualEdgeTarget target) |
| Modifier and Type | Method and Description |
|---|---|
void |
addTargets(Collection<VirtualEdgesSummaries.VirtualEdgeTarget> newTargets)
Adds the given targets to this edge summary
|
boolean |
equals(Object obj) |
Kind |
getEdgeType() |
VirtualEdgesSummaries.VirtualEdgeSource |
getSource() |
Set<VirtualEdgesSummaries.VirtualEdgeTarget> |
getTargets() |
int |
hashCode() |
String |
toString() |
public VirtualEdge(Kind edgeType, VirtualEdgesSummaries.VirtualEdgeSource source, VirtualEdgesSummaries.VirtualEdgeTarget target)
public VirtualEdge(Kind edgeType, VirtualEdgesSummaries.VirtualEdgeSource source, Collection<VirtualEdgesSummaries.VirtualEdgeTarget> targets)
public Kind getEdgeType()
public VirtualEdgesSummaries.VirtualEdgeSource getSource()
public Set<VirtualEdgesSummaries.VirtualEdgeTarget> getTargets()
public void addTargets(Collection<VirtualEdgesSummaries.VirtualEdgeTarget> newTargets)
newTargets - The targets to addCopyright © 2024 Soot OSS. All rights reserved.