|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||
| Packages that use Pin | |
|---|---|
| modhelxs.abstractsemantics | |
| modhelxs.ecore | |
| modhelxs.util | |
| Uses of Pin in modhelxs.abstractsemantics |
|---|
| Classes in modhelxs.abstractsemantics that implement Pin | |
|---|---|
class |
Pin
An implementation of Pin for the abstract semantics of ModHel'X. |
| Uses of Pin in modhelxs.ecore |
|---|
| Methods in modhelxs.ecore that return Pin | |
|---|---|
Pin |
Relation.getOrigin()
Get the origin of this relation. |
Pin |
Relation.getTarget()
Get the target of this relation. |
| Methods in modhelxs.ecore that return types with arguments of type Pin | |
|---|---|
java.util.Collection<? extends Pin> |
ObservableEntity.getInterface()
Get the interface of this observable entity. |
| Uses of Pin in modhelxs.util |
|---|
| Fields in modhelxs.util with type parameters of type Pin | |
|---|---|
private java.util.Map<Pin,java.util.Set<Pin>> |
BlockStructureNavHelper.pin_predecessors_
Map from pins to their predecessors. |
private java.util.Map<Pin,java.util.Set<Pin>> |
BlockStructureNavHelper.pin_predecessors_
Map from pins to their predecessors. |
private java.util.Map<Pin,java.util.Set<Pin>> |
BlockStructureNavHelper.pin_successors_
Map from pins to their successors. |
private java.util.Map<Pin,java.util.Set<Pin>> |
BlockStructureNavHelper.pin_successors_
Map from pins to their successors. |
| Methods in modhelxs.util that return types with arguments of type Pin | |
|---|---|
java.util.Collection<Pin> |
BlockStructureNavHelper.getPinPredecessors(Pin p)
Get the predecessors of pin p (pins that are the origin of a relation with target p). |
java.util.Collection<Pin> |
BlockStructureNavHelper.getPinSuccessors(Pin p)
Get the successors of pin p (pins that are the target of a relation with origin p). |
| Methods in modhelxs.util with parameters of type Pin | |
|---|---|
java.util.Collection<Pin> |
BlockStructureNavHelper.getPinPredecessors(Pin p)
Get the predecessors of pin p (pins that are the origin of a relation with target p). |
java.util.Collection<Pin> |
BlockStructureNavHelper.getPinSuccessors(Pin p)
Get the successors of pin p (pins that are the target of a relation with origin p). |
|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||