Class Unit

java.lang.Object

ca.mcscert.jpipe.model.Unit

public final class Unit
extends Object

Root of a compiled jPipe file. Contains all named justification models defined in the file.

Constructor Summary

Constructors

Constructor	Description
Unit(String source)

Method Summary

Modifier and Type	Method	Description
<R> R	accept(JustificationVisitor<R> visitor)
void	add(JustificationModel<?> model)
void	addInto(String modelName, JustificationElement element)
Map<String,String>	aliases()	Unmodifiable view of all recorded aliases.
Optional<JustificationModel<?>>	findModel(String name)
JustificationModel<?>	get(String name)
Collection<JustificationModel<?>>	getModels()
String	getSource()
List<Justification>	justifications()
SourceLocation	locationOf(String modelName)	Returns the declared location of a model, or SourceLocation.UNKNOWN.
SourceLocation	locationOf(String modelName, String elementId)	Returns the declared location of an element inside a model, or SourceLocation.UNKNOWN.
Map<String, SourceLocation>	locations()	Unmodifiable view of the full location registry.
void	recordAlias(String modelName, String oldId, String newId)	Records that oldId in model modelName was merged into newId.
void	recordLocation(String modelName, SourceLocation loc)	Records where a model (justification or template) was declared.
void	recordLocation(String modelName, String elementId, SourceLocation loc)	Records where a named element inside a model was declared.
void	recordUnifiedId(String modelName, String id)	Records that id in model modelName was minted by unification.
void	removeFrom(String modelName, String elementId)
String	resolveAlias(String modelName, String id)	Returns the id that id resolves to in modelName, or id itself if no alias was registered.
List<Template>	templates()

Methods inherited from class Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Details

Unit

public Unit(String source)

Method Details

getSource

public String getSource()

add

public void add(JustificationModel<?> model)

getModels

public Collection<JustificationModel<?>> getModels()

findModel

public Optional<JustificationModel<?>> findModel(String name)

get

public JustificationModel<?> get(String name)

addInto

public void addInto(String modelName,
 JustificationElement element)

removeFrom

public void removeFrom(String modelName,
 String elementId)

justifications

public List<Justification> justifications()

templates

public List<Template> templates()

locations

public Map<String, SourceLocation> locations()

Unmodifiable view of the full location registry.

aliases

public Map<String,String> aliases()

Unmodifiable view of all recorded aliases. Keys are "modelName/oldId"; values are the new (merged) id.

recordLocation

public void recordLocation(String modelName,
 SourceLocation loc)

Records where a model (justification or template) was declared.

locationOf

public SourceLocation locationOf(String modelName)

Returns the declared location of a model, or SourceLocation.UNKNOWN.

recordLocation

public void recordLocation(String modelName,
 String elementId,
 SourceLocation loc)

Records where a named element inside a model was declared.

locationOf

public SourceLocation locationOf(String modelName,
 String elementId)

Returns the declared location of an element inside a model, or SourceLocation.UNKNOWN.

recordAlias

public void recordAlias(String modelName,
 String oldId,
 String newId)

Records that oldId in model modelName was merged into newId.

recordUnifiedId

public void recordUnifiedId(String modelName,
 String id)

Records that id in model modelName was minted by unification. See JustificationModel.recordUnifiedId(String).

resolveAlias

public String resolveAlias(String modelName,
 String id)

Returns the id that id resolves to in modelName, or id itself if no alias was registered.

accept

public <R> R accept(JustificationVisitor<R> visitor)