public class IDManager
extends java.lang.Object
Constructor and Description |
---|
IDManager() |
Modifier and Type | Method and Description |
---|---|
dk.brics.inspector.api.model.ids.LocationID |
make(AbstractNode node) |
dk.brics.inspector.api.model.ids.ContextID |
make(Context context) |
dk.brics.inspector.api.model.ids.ObjectID |
make(ObjectLabel objectLabel) |
dk.brics.inspector.api.model.ids.LocationID |
make(Pair<AbstractNode,Context> location) |
dk.brics.inspector.api.model.ids.FileID |
make(java.net.URL url) |
Context |
resolve(dk.brics.inspector.api.model.ids.ContextID id) |
java.net.URL |
resolve(dk.brics.inspector.api.model.ids.FileID id) |
Pair<AbstractNode,Context> |
resolve(dk.brics.inspector.api.model.ids.LocationID locationID) |
ObjectLabel |
resolve(dk.brics.inspector.api.model.ids.ObjectID id) |
public dk.brics.inspector.api.model.ids.LocationID make(AbstractNode node)
public dk.brics.inspector.api.model.ids.ContextID make(Context context)
public dk.brics.inspector.api.model.ids.ObjectID make(ObjectLabel objectLabel)
public dk.brics.inspector.api.model.ids.LocationID make(Pair<AbstractNode,Context> location)
public dk.brics.inspector.api.model.ids.FileID make(java.net.URL url)
public Context resolve(dk.brics.inspector.api.model.ids.ContextID id)
public java.net.URL resolve(dk.brics.inspector.api.model.ids.FileID id)
public Pair<AbstractNode,Context> resolve(dk.brics.inspector.api.model.ids.LocationID locationID)
public ObjectLabel resolve(dk.brics.inspector.api.model.ids.ObjectID id)
Copyright © 2009-2019 Aarhus University