Package edu.kit.kastel.dsis.fluidtrust.casestudy.pcs.analysis

Class CharacteristicsCalculator

java.lang.Object

edu.kit.kastel.dsis.fluidtrust.casestudy.pcs.analysis.CharacteristicsCalculator

public class CharacteristicsCalculator
extends Object

Constructor Summary

Constructors

Constructor	Description
CharacteristicsCalculator(org.palladiosimulator.pcm.allocation.Allocation allocation)

Method Summary

Modifier and Type	Method	Description
protected boolean	_evaluateRhs(org.palladiosimulator.dataflow.confidentiality.pcm.model.confidentiality.expression.NamedEnumCharacteristicReference term, List<ActionSequenceElement<?>> sequence, org.palladiosimulator.dataflow.dictionary.characterized.DataDictionaryCharacterized.EnumCharacteristicType requestedCT, org.palladiosimulator.dataflow.dictionary.characterized.DataDictionaryCharacterized.Literal requestedLiteral)
protected boolean	_evaluateRhs(org.palladiosimulator.dataflow.dictionary.characterized.DataDictionaryCharacterized.expressions.And term, List<ActionSequenceElement<?>> sequence, org.palladiosimulator.dataflow.dictionary.characterized.DataDictionaryCharacterized.EnumCharacteristicType requestedCT, org.palladiosimulator.dataflow.dictionary.characterized.DataDictionaryCharacterized.Literal requestedLiteral)
protected boolean	_evaluateRhs(org.palladiosimulator.dataflow.dictionary.characterized.DataDictionaryCharacterized.expressions.ContainerCharacteristicReference term, List<ActionSequenceElement<?>> sequence, org.palladiosimulator.dataflow.dictionary.characterized.DataDictionaryCharacterized.EnumCharacteristicType requestedCT, org.palladiosimulator.dataflow.dictionary.characterized.DataDictionaryCharacterized.Literal requestedLiteral)
protected boolean	_evaluateRhs(org.palladiosimulator.dataflow.dictionary.characterized.DataDictionaryCharacterized.expressions.False term, List<ActionSequenceElement<?>> sequence, org.palladiosimulator.dataflow.dictionary.characterized.DataDictionaryCharacterized.EnumCharacteristicType requestedCT, org.palladiosimulator.dataflow.dictionary.characterized.DataDictionaryCharacterized.Literal requestedLiteral)
protected boolean	_evaluateRhs(org.palladiosimulator.dataflow.dictionary.characterized.DataDictionaryCharacterized.expressions.Not term, List<ActionSequenceElement<?>> sequence, org.palladiosimulator.dataflow.dictionary.characterized.DataDictionaryCharacterized.EnumCharacteristicType requestedCT, org.palladiosimulator.dataflow.dictionary.characterized.DataDictionaryCharacterized.Literal requestedLiteral)
protected boolean	_evaluateRhs(org.palladiosimulator.dataflow.dictionary.characterized.DataDictionaryCharacterized.expressions.Or term, List<ActionSequenceElement<?>> sequence, org.palladiosimulator.dataflow.dictionary.characterized.DataDictionaryCharacterized.EnumCharacteristicType requestedCT, org.palladiosimulator.dataflow.dictionary.characterized.DataDictionaryCharacterized.Literal requestedLiteral)
protected boolean	_evaluateRhs(org.palladiosimulator.dataflow.dictionary.characterized.DataDictionaryCharacterized.expressions.Term term, List<ActionSequenceElement<?>> sequence, org.palladiosimulator.dataflow.dictionary.characterized.DataDictionaryCharacterized.EnumCharacteristicType requestedCT, org.palladiosimulator.dataflow.dictionary.characterized.DataDictionaryCharacterized.Literal requestedLiteral)
protected boolean	_evaluateRhs(org.palladiosimulator.dataflow.dictionary.characterized.DataDictionaryCharacterized.expressions.True term, List<ActionSequenceElement<?>> sequence, org.palladiosimulator.dataflow.dictionary.characterized.DataDictionaryCharacterized.EnumCharacteristicType requestedCT, org.palladiosimulator.dataflow.dictionary.characterized.DataDictionaryCharacterized.Literal requestedLiteral)
protected org.palladiosimulator.dataflow.confidentiality.pcm.queryutils.SeffWithContext	_findCalledSEFF(org.palladiosimulator.pcm.seff.ExternalCallAction eca, Stack<org.palladiosimulator.pcm.core.composition.AssemblyContext> context)
protected org.palladiosimulator.dataflow.confidentiality.pcm.queryutils.SeffWithContext	_findCalledSEFF(org.palladiosimulator.pcm.usagemodel.EntryLevelSystemCall elsc, Stack<org.palladiosimulator.pcm.core.composition.AssemblyContext> context)
protected VariableProvidingActionSequence	_findVariableProvidingActionSequence(List<ActionSequenceElement<?>> sequence, ActionSequenceElement<?> requiringElement, String variableName)
protected VariableProvidingActionSequence	_findVariableProvidingActionSequence(List<ActionSequenceElement<?>> sequence, CallingActionSequenceElement<?> requiringElement, String variableName)
protected List<org.palladiosimulator.dataflow.confidentiality.pcm.model.confidentiality.characteristics.Characteristic<? extends org.palladiosimulator.dataflow.dictionary.characterized.DataDictionaryCharacterized.CharacteristicType>>	_getEffectiveCharacteristics(SEFFActionSequenceElement<org.palladiosimulator.pcm.seff.AbstractAction> element)
protected List<org.palladiosimulator.dataflow.confidentiality.pcm.model.confidentiality.characteristics.Characteristic<? extends org.palladiosimulator.dataflow.dictionary.characterized.DataDictionaryCharacterized.CharacteristicType>>	_getEffectiveCharacteristics(UserActionSequenceElement<org.palladiosimulator.pcm.usagemodel.AbstractUserAction> element)
protected static boolean	_matches(org.palladiosimulator.dataflow.confidentiality.pcm.model.confidentiality.expression.LhsEnumCharacteristicReference lhs, org.palladiosimulator.dataflow.dictionary.characterized.DataDictionaryCharacterized.EnumCharacteristicType characteristicType, org.palladiosimulator.dataflow.dictionary.characterized.DataDictionaryCharacterized.Literal characteristicValue)
protected static boolean	_matches(org.palladiosimulator.dataflow.confidentiality.pcm.model.confidentiality.expression.VariableCharacterizationLhs lhs, org.palladiosimulator.dataflow.dictionary.characterized.DataDictionaryCharacterized.EnumCharacteristicType characteristicType, org.palladiosimulator.dataflow.dictionary.characterized.DataDictionaryCharacterized.Literal characteristicValue)
protected static List<org.palladiosimulator.dataflow.confidentiality.pcm.model.confidentiality.characteristics.Characteristic<? extends org.palladiosimulator.dataflow.dictionary.characterized.DataDictionaryCharacterized.CharacteristicType>>	effectiveCharacteristics(List<List<org.palladiosimulator.dataflow.confidentiality.pcm.model.confidentiality.characteristics.Characteristic<? extends org.palladiosimulator.dataflow.dictionary.characterized.DataDictionaryCharacterized.CharacteristicType>>> characteristics)
protected boolean	evaluateRhs(org.palladiosimulator.dataflow.dictionary.characterized.DataDictionaryCharacterized.expressions.Term term, List<ActionSequenceElement<?>> sequence, org.palladiosimulator.dataflow.dictionary.characterized.DataDictionaryCharacterized.EnumCharacteristicType requestedCT, org.palladiosimulator.dataflow.dictionary.characterized.DataDictionaryCharacterized.Literal requestedLiteral)
protected org.palladiosimulator.dataflow.confidentiality.pcm.queryutils.SeffWithContext	findCalledSEFF(org.palladiosimulator.pcm.core.entity.Entity eca, Stack<org.palladiosimulator.pcm.core.composition.AssemblyContext> context)
protected VariableProvidingActionSequence	findVariableProvidingActionSequence(List<ActionSequenceElement<?>> sequence, ActionSequenceElement<?> requiringElement, String variableName)
protected static List<org.palladiosimulator.dataflow.confidentiality.pcm.model.confidentiality.characteristics.Characteristic<? extends org.palladiosimulator.dataflow.dictionary.characterized.DataDictionaryCharacterized.CharacteristicType>>	getCharacteristics(EObject eobject)
protected List<org.palladiosimulator.dataflow.confidentiality.pcm.model.confidentiality.characteristics.Characteristic<? extends org.palladiosimulator.dataflow.dictionary.characterized.DataDictionaryCharacterized.CharacteristicType>>	getEffectiveCharacteristics(ActionSequenceElement<? extends org.palladiosimulator.pcm.core.entity.Entity> element)
boolean	isAvailable(ActionSequenceElement<?> element, org.palladiosimulator.dataflow.dictionary.characterized.DataDictionaryCharacterized.EnumCharacteristicType characteristicType, org.palladiosimulator.dataflow.dictionary.characterized.DataDictionaryCharacterized.Literal characteristicValue)
boolean	isAvailable(List<ActionSequenceElement<?>> sequence, String variableName, org.palladiosimulator.dataflow.dictionary.characterized.DataDictionaryCharacterized.EnumCharacteristicType characteristicType, org.palladiosimulator.dataflow.dictionary.characterized.DataDictionaryCharacterized.Literal characteristicValue)
protected static boolean	matches(org.palladiosimulator.dataflow.confidentiality.pcm.model.confidentiality.expression.VariableCharacterizationLhs lhs, org.palladiosimulator.dataflow.dictionary.characterized.DataDictionaryCharacterized.EnumCharacteristicType characteristicType, org.palladiosimulator.dataflow.dictionary.characterized.DataDictionaryCharacterized.Literal characteristicValue)

Methods inherited from class java.lang.Object

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

Constructor Detail

CharacteristicsCalculator

public CharacteristicsCalculator(org.palladiosimulator.pcm.allocation.Allocation allocation)

Method Detail

isAvailable

public boolean isAvailable(ActionSequenceElement<?> element,
                           org.palladiosimulator.dataflow.dictionary.characterized.DataDictionaryCharacterized.EnumCharacteristicType characteristicType,
                           org.palladiosimulator.dataflow.dictionary.characterized.DataDictionaryCharacterized.Literal characteristicValue)

isAvailable

public boolean isAvailable(List<ActionSequenceElement<?>> sequence,
                           String variableName,
                           org.palladiosimulator.dataflow.dictionary.characterized.DataDictionaryCharacterized.EnumCharacteristicType characteristicType,
                           org.palladiosimulator.dataflow.dictionary.characterized.DataDictionaryCharacterized.Literal characteristicValue)

_evaluateRhs

protected boolean _evaluateRhs(org.palladiosimulator.dataflow.dictionary.characterized.DataDictionaryCharacterized.expressions.ContainerCharacteristicReference term,
                               List<ActionSequenceElement<?>> sequence,
                               org.palladiosimulator.dataflow.dictionary.characterized.DataDictionaryCharacterized.EnumCharacteristicType requestedCT,
                               org.palladiosimulator.dataflow.dictionary.characterized.DataDictionaryCharacterized.Literal requestedLiteral)

_evaluateRhs

protected boolean _evaluateRhs(org.palladiosimulator.dataflow.confidentiality.pcm.model.confidentiality.expression.NamedEnumCharacteristicReference term,
                               List<ActionSequenceElement<?>> sequence,
                               org.palladiosimulator.dataflow.dictionary.characterized.DataDictionaryCharacterized.EnumCharacteristicType requestedCT,
                               org.palladiosimulator.dataflow.dictionary.characterized.DataDictionaryCharacterized.Literal requestedLiteral)

_evaluateRhs

protected boolean _evaluateRhs(org.palladiosimulator.dataflow.dictionary.characterized.DataDictionaryCharacterized.expressions.And term,
                               List<ActionSequenceElement<?>> sequence,
                               org.palladiosimulator.dataflow.dictionary.characterized.DataDictionaryCharacterized.EnumCharacteristicType requestedCT,
                               org.palladiosimulator.dataflow.dictionary.characterized.DataDictionaryCharacterized.Literal requestedLiteral)

_evaluateRhs

protected boolean _evaluateRhs(org.palladiosimulator.dataflow.dictionary.characterized.DataDictionaryCharacterized.expressions.Or term,
                               List<ActionSequenceElement<?>> sequence,
                               org.palladiosimulator.dataflow.dictionary.characterized.DataDictionaryCharacterized.EnumCharacteristicType requestedCT,
                               org.palladiosimulator.dataflow.dictionary.characterized.DataDictionaryCharacterized.Literal requestedLiteral)

_evaluateRhs

protected boolean _evaluateRhs(org.palladiosimulator.dataflow.dictionary.characterized.DataDictionaryCharacterized.expressions.Not term,
                               List<ActionSequenceElement<?>> sequence,
                               org.palladiosimulator.dataflow.dictionary.characterized.DataDictionaryCharacterized.EnumCharacteristicType requestedCT,
                               org.palladiosimulator.dataflow.dictionary.characterized.DataDictionaryCharacterized.Literal requestedLiteral)

_evaluateRhs

protected boolean _evaluateRhs(org.palladiosimulator.dataflow.dictionary.characterized.DataDictionaryCharacterized.expressions.False term,
                               List<ActionSequenceElement<?>> sequence,
                               org.palladiosimulator.dataflow.dictionary.characterized.DataDictionaryCharacterized.EnumCharacteristicType requestedCT,
                               org.palladiosimulator.dataflow.dictionary.characterized.DataDictionaryCharacterized.Literal requestedLiteral)

_evaluateRhs

protected boolean _evaluateRhs(org.palladiosimulator.dataflow.dictionary.characterized.DataDictionaryCharacterized.expressions.True term,
                               List<ActionSequenceElement<?>> sequence,
                               org.palladiosimulator.dataflow.dictionary.characterized.DataDictionaryCharacterized.EnumCharacteristicType requestedCT,
                               org.palladiosimulator.dataflow.dictionary.characterized.DataDictionaryCharacterized.Literal requestedLiteral)

_evaluateRhs

protected boolean _evaluateRhs(org.palladiosimulator.dataflow.dictionary.characterized.DataDictionaryCharacterized.expressions.Term term,
                               List<ActionSequenceElement<?>> sequence,
                               org.palladiosimulator.dataflow.dictionary.characterized.DataDictionaryCharacterized.EnumCharacteristicType requestedCT,
                               org.palladiosimulator.dataflow.dictionary.characterized.DataDictionaryCharacterized.Literal requestedLiteral)

_matches

protected static boolean _matches(org.palladiosimulator.dataflow.confidentiality.pcm.model.confidentiality.expression.LhsEnumCharacteristicReference lhs,
                                  org.palladiosimulator.dataflow.dictionary.characterized.DataDictionaryCharacterized.EnumCharacteristicType characteristicType,
                                  org.palladiosimulator.dataflow.dictionary.characterized.DataDictionaryCharacterized.Literal characteristicValue)

_matches

protected static boolean _matches(org.palladiosimulator.dataflow.confidentiality.pcm.model.confidentiality.expression.VariableCharacterizationLhs lhs,
                                  org.palladiosimulator.dataflow.dictionary.characterized.DataDictionaryCharacterized.EnumCharacteristicType characteristicType,
                                  org.palladiosimulator.dataflow.dictionary.characterized.DataDictionaryCharacterized.Literal characteristicValue)

_findVariableProvidingActionSequence

protected VariableProvidingActionSequence _findVariableProvidingActionSequence(List<ActionSequenceElement<?>> sequence,
                                                                               CallingActionSequenceElement<?> requiringElement,
                                                                               String variableName)

_findVariableProvidingActionSequence

protected VariableProvidingActionSequence _findVariableProvidingActionSequence(List<ActionSequenceElement<?>> sequence,
                                                                               ActionSequenceElement<?> requiringElement,
                                                                               String variableName)

_findCalledSEFF

protected org.palladiosimulator.dataflow.confidentiality.pcm.queryutils.SeffWithContext _findCalledSEFF(org.palladiosimulator.pcm.seff.ExternalCallAction eca,
                                                                                                        Stack<org.palladiosimulator.pcm.core.composition.AssemblyContext> context)

_findCalledSEFF

protected org.palladiosimulator.dataflow.confidentiality.pcm.queryutils.SeffWithContext _findCalledSEFF(org.palladiosimulator.pcm.usagemodel.EntryLevelSystemCall elsc,
                                                                                                        Stack<org.palladiosimulator.pcm.core.composition.AssemblyContext> context)

_getEffectiveCharacteristics

protected List<org.palladiosimulator.dataflow.confidentiality.pcm.model.confidentiality.characteristics.Characteristic<? extends org.palladiosimulator.dataflow.dictionary.characterized.DataDictionaryCharacterized.CharacteristicType>> _getEffectiveCharacteristics(UserActionSequenceElement<org.palladiosimulator.pcm.usagemodel.AbstractUserAction> element)

_getEffectiveCharacteristics

protected List<org.palladiosimulator.dataflow.confidentiality.pcm.model.confidentiality.characteristics.Characteristic<? extends org.palladiosimulator.dataflow.dictionary.characterized.DataDictionaryCharacterized.CharacteristicType>> _getEffectiveCharacteristics(SEFFActionSequenceElement<org.palladiosimulator.pcm.seff.AbstractAction> element)

effectiveCharacteristics

protected static List<org.palladiosimulator.dataflow.confidentiality.pcm.model.confidentiality.characteristics.Characteristic<? extends org.palladiosimulator.dataflow.dictionary.characterized.DataDictionaryCharacterized.CharacteristicType>> effectiveCharacteristics(List<List<org.palladiosimulator.dataflow.confidentiality.pcm.model.confidentiality.characteristics.Characteristic<? extends org.palladiosimulator.dataflow.dictionary.characterized.DataDictionaryCharacterized.CharacteristicType>>> characteristics)

getCharacteristics

protected static List<org.palladiosimulator.dataflow.confidentiality.pcm.model.confidentiality.characteristics.Characteristic<? extends org.palladiosimulator.dataflow.dictionary.characterized.DataDictionaryCharacterized.CharacteristicType>> getCharacteristics(EObject eobject)

evaluateRhs

protected boolean evaluateRhs(org.palladiosimulator.dataflow.dictionary.characterized.DataDictionaryCharacterized.expressions.Term term,
                              List<ActionSequenceElement<?>> sequence,
                              org.palladiosimulator.dataflow.dictionary.characterized.DataDictionaryCharacterized.EnumCharacteristicType requestedCT,
                              org.palladiosimulator.dataflow.dictionary.characterized.DataDictionaryCharacterized.Literal requestedLiteral)

matches

protected static boolean matches(org.palladiosimulator.dataflow.confidentiality.pcm.model.confidentiality.expression.VariableCharacterizationLhs lhs,
                                 org.palladiosimulator.dataflow.dictionary.characterized.DataDictionaryCharacterized.EnumCharacteristicType characteristicType,
                                 org.palladiosimulator.dataflow.dictionary.characterized.DataDictionaryCharacterized.Literal characteristicValue)

findVariableProvidingActionSequence

protected VariableProvidingActionSequence findVariableProvidingActionSequence(List<ActionSequenceElement<?>> sequence,
                                                                              ActionSequenceElement<?> requiringElement,
                                                                              String variableName)

findCalledSEFF

protected org.palladiosimulator.dataflow.confidentiality.pcm.queryutils.SeffWithContext findCalledSEFF(org.palladiosimulator.pcm.core.entity.Entity eca,
                                                                                                       Stack<org.palladiosimulator.pcm.core.composition.AssemblyContext> context)

getEffectiveCharacteristics

protected List<org.palladiosimulator.dataflow.confidentiality.pcm.model.confidentiality.characteristics.Characteristic<? extends org.palladiosimulator.dataflow.dictionary.characterized.DataDictionaryCharacterized.CharacteristicType>> getEffectiveCharacteristics(ActionSequenceElement<? extends org.palladiosimulator.pcm.core.entity.Entity> element)