Package org.palladiosimulator.dataflow.confidentiality.transformation.prolog

Interface DFD2PrologTransformationTrace

All Known Subinterfaces:

DFD2PrologTransformationWritableTrace

All Known Implementing Classes:

DFD2PrologTransformationWritableTraceImpl

public interface DFD2PrologTransformationTrace

Nested Class Summary

Nested Classes

Modifier and Type	Interface	Description
static class	DFD2PrologTransformationTrace.PinId

Method Summary

Modifier and Type	Method	Description
org.palladiosimulator.dataflow.diagram.DataFlowDiagram.DataFlowDiagram	getDfd()
Optional<String>	getDfdId(String factId)
Optional<DFD2PrologTransformationTrace.PinId>	getDfdPinId(String factId)
Optional<String>	getFactId(Behaving entity, Pin pin)
Optional<String>	getFactId(org.palladiosimulator.dataflow.diagram.DataFlowDiagram.Entity entity)
Optional<String>	getFactId(Entity entity)
Optional<String>	getFactId(org.palladiosimulator.dataflow.dictionary.DataDictionary.DataType entity)
org.palladiosimulator.supporting.prolog.model.prolog.Program	getPrologProgram()
<T extends EObject> Optional<T>	resolveDfdElement(String dfdId, Class<T> type)

Method Detail

getDfd

org.palladiosimulator.dataflow.diagram.DataFlowDiagram.DataFlowDiagram getDfd()

getPrologProgram

org.palladiosimulator.supporting.prolog.model.prolog.Program getPrologProgram()

getFactId

Optional<String> getFactId(org.palladiosimulator.dataflow.diagram.DataFlowDiagram.Entity entity)

getFactId

Optional<String> getFactId(Entity entity)

getFactId

Optional<String> getFactId(org.palladiosimulator.dataflow.dictionary.DataDictionary.DataType entity)

getFactId

Optional<String> getFactId(Behaving entity,
                           Pin pin)

getDfdId

Optional<String> getDfdId(String factId)

getDfdPinId

Optional<DFD2PrologTransformationTrace.PinId> getDfdPinId(String factId)

resolveDfdElement

<T extends EObject> Optional<T> resolveDfdElement(String dfdId,
                                                  Class<T> type)