-
-
Method Summary
-
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
-
-
Constructor Detail
-
GraphSingleElemPlaceholder
public GraphSingleElemPlaceholder(String name,
ProjectionRule ownerRule,
boolean isFromOtherRule,
boolean isFromBindRule)
- Parameters:
name
-
ownerRule
- the projection rule where this element belongs to
isFromOtherRule
- true if this placeholder is from a dependency rule (not a binding), false otherwise
isFromBindRule
- true if this placeholder is from a binding rule (not a dependency), false otherwise
-
Method Detail
-
getName
public String getName()
Copyright © 2022 ART Group, University of Rome, Tor Vergata. All rights reserved.