A B C D E F G H I L M N O P Q R S T U V _
All Classes All Packages

A

AbstractActionSequenceElement<T extends EObject> - Class in edu.kit.kastel.dsis.fluidtrust.casestudy.pcs.analysis.dto

AbstractActionSequenceElement(T, Stack<AssemblyContext>) - Constructor for class edu.kit.kastel.dsis.fluidtrust.casestudy.pcs.analysis.dto.AbstractActionSequenceElement

AccessControlPolicy - Class in edu.kit.kastel.dsis.fluidtrust.casestudy.pcs.application.query

ACObject - Enum in edu.kit.kastel.dsis.fluidtrust.casestudy.pcs.application.query

ActionBasedQuery - Interface in edu.kit.kastel.dsis.fluidtrust.casestudy.pcs.analysis.dto

ActionBasedQueryImpl - Class in edu.kit.kastel.dsis.fluidtrust.casestudy.pcs.analysis.dto

ActionBasedQueryImpl(Predicate<ActionSequenceElement<?>>, Iterable<CharacteristicValue>, Iterable<CharacteristicValue>) - Constructor for class edu.kit.kastel.dsis.fluidtrust.casestudy.pcs.analysis.dto.ActionBasedQueryImpl

ActionBasedQueryResult - Class in edu.kit.kastel.dsis.fluidtrust.casestudy.pcs.analysis.dto

ActionBasedQueryResult() - Constructor for class edu.kit.kastel.dsis.fluidtrust.casestudy.pcs.analysis.dto.ActionBasedQueryResult

ActionBasedQueryResult.ActionBasedQueryResultDTO - Class in edu.kit.kastel.dsis.fluidtrust.casestudy.pcs.analysis.dto

ActionBasedQueryResultDTO(ActionSequenceElement<?>, Map<String, Collection<CharacteristicValue>>, Collection<CharacteristicValue>) - Constructor for class edu.kit.kastel.dsis.fluidtrust.casestudy.pcs.analysis.dto.ActionBasedQueryResult.ActionBasedQueryResultDTO

ActionBasedQueryResultDTOJsonSerializer - Class in edu.kit.kastel.dsis.fluidtrust.casestudy.pcs.application.json

ActionBasedQueryResultDTOJsonSerializer() - Constructor for class edu.kit.kastel.dsis.fluidtrust.casestudy.pcs.application.json.ActionBasedQueryResultDTOJsonSerializer

ActionBasedQueryResultJsonSerializer - Class in edu.kit.kastel.dsis.fluidtrust.casestudy.pcs.application.json

ActionBasedQueryResultJsonSerializer() - Constructor for class edu.kit.kastel.dsis.fluidtrust.casestudy.pcs.application.json.ActionBasedQueryResultJsonSerializer

ActionSequence - Class in edu.kit.kastel.dsis.fluidtrust.casestudy.pcs.analysis.dto

ActionSequence(List<ActionSequenceElement<?>>) - Constructor for class edu.kit.kastel.dsis.fluidtrust.casestudy.pcs.analysis.dto.ActionSequence

ActionSequenceElement<T extends EObject> - Interface in edu.kit.kastel.dsis.fluidtrust.casestudy.pcs.analysis.dto

ActionSequenceFinderImpl - Class in edu.kit.kastel.dsis.fluidtrust.casestudy.pcs.analysis

ActionSequenceFinderImpl() - Constructor for class edu.kit.kastel.dsis.fluidtrust.casestudy.pcs.analysis.ActionSequenceFinderImpl

ActionSequenceJsonSerializer - Class in edu.kit.kastel.dsis.fluidtrust.casestudy.pcs.application.json

ActionSequenceJsonSerializer() - Constructor for class edu.kit.kastel.dsis.fluidtrust.casestudy.pcs.application.json.ActionSequenceJsonSerializer

ActionSequenceQueryUtils - Class in edu.kit.kastel.dsis.fluidtrust.casestudy.pcs.analysis.util

ActionSequenceQueryUtils() - Constructor for class edu.kit.kastel.dsis.fluidtrust.casestudy.pcs.analysis.util.ActionSequenceQueryUtils

Activator - Class in edu.kit.kastel.dsis.fluidtrust.casestudy.pcs.application.internal

Activator - Class in edu.kit.kastel.dsis.fluidtrust.datacharacteristic.analysis

Activator() - Constructor for class edu.kit.kastel.dsis.fluidtrust.casestudy.pcs.application.internal.Activator

Activator() - Constructor for class edu.kit.kastel.dsis.fluidtrust.datacharacteristic.analysis.Activator

Activator.ServiceProvider<S> - Class in edu.kit.kastel.dsis.fluidtrust.casestudy.pcs.application.internal

add(int, ActionSequenceElement<?>) - Method in class edu.kit.kastel.dsis.fluidtrust.casestudy.pcs.analysis.dto.ActionSequence

add(ActionSequenceElement<?>) - Method in class edu.kit.kastel.dsis.fluidtrust.casestudy.pcs.analysis.dto.ActionSequence

addAll(int, Collection<? extends ActionSequenceElement<?>>) - Method in class edu.kit.kastel.dsis.fluidtrust.casestudy.pcs.analysis.dto.ActionSequence

addAll(Collection<? extends ActionSequenceElement<?>>) - Method in class edu.kit.kastel.dsis.fluidtrust.casestudy.pcs.analysis.dto.ActionSequence

addResult(ActionSequence, ActionBasedQueryResult.ActionBasedQueryResultDTO) - Method in class edu.kit.kastel.dsis.fluidtrust.casestudy.pcs.analysis.dto.ActionBasedQueryResult

addResult(ActionSequence, Collection<ActionBasedQueryResult.ActionBasedQueryResultDTO>) - Method in class edu.kit.kastel.dsis.fluidtrust.casestudy.pcs.analysis.dto.ActionBasedQueryResult

ALL - edu.kit.kastel.dsis.fluidtrust.casestudy.pcs.application.query.Role

allocationModel - Variable in class edu.kit.kastel.dsis.fluidtrust.casestudy.pcs.application.jobs.RunCaseStudyForCaseJob

AnalysisResult - Class in edu.kit.kastel.dsis.fluidtrust.casestudy.pcs.application.jobs

AnalysisResult() - Constructor for class edu.kit.kastel.dsis.fluidtrust.casestudy.pcs.application.jobs.AnalysisResult

AnalysisResultBlackboard - Class in edu.kit.kastel.dsis.fluidtrust.casestudy.pcs.application.jobs

AnalysisResultBlackboard() - Constructor for class edu.kit.kastel.dsis.fluidtrust.casestudy.pcs.application.jobs.AnalysisResultBlackboard

analysisResultKey - Variable in class edu.kit.kastel.dsis.fluidtrust.casestudy.pcs.application.jobs.ResultMetricsExtractionJob

B

build() - Method in class edu.kit.kastel.dsis.fluidtrust.casestudy.pcs.application.jobs.CaseStudyWorkflowBuilder

builder() - Static method in class edu.kit.kastel.dsis.fluidtrust.casestudy.pcs.application.jobs.CaseStudyWorkflowBuilder

C

CallingActionSequenceElement<T extends EObject> - Interface in edu.kit.kastel.dsis.fluidtrust.casestudy.pcs.analysis.dto

CallingSEFFActionSequenceElementImpl - Class in edu.kit.kastel.dsis.fluidtrust.casestudy.pcs.analysis.dto

CallingSEFFActionSequenceElementImpl(ExternalCallAction, boolean, Stack<AssemblyContext>) - Constructor for class edu.kit.kastel.dsis.fluidtrust.casestudy.pcs.analysis.dto.CallingSEFFActionSequenceElementImpl

CallingUserActionSequenceElementImpl - Class in edu.kit.kastel.dsis.fluidtrust.casestudy.pcs.analysis.dto

CallingUserActionSequenceElementImpl(EntryLevelSystemCall, boolean) - Constructor for class edu.kit.kastel.dsis.fluidtrust.casestudy.pcs.analysis.dto.CallingUserActionSequenceElementImpl

CaseDTO(Path) - Constructor for class edu.kit.kastel.dsis.fluidtrust.casestudy.pcs.application.jobs.CaseStudyWorkflowBuilder.CaseDTO

casesFolder(File) - Method in class edu.kit.kastel.dsis.fluidtrust.casestudy.pcs.application.jobs.CaseStudyWorkflowBuilder

CaseStudyWorkflowBuilder - Class in edu.kit.kastel.dsis.fluidtrust.casestudy.pcs.application.jobs

CaseStudyWorkflowBuilder.CaseDTO - Class in edu.kit.kastel.dsis.fluidtrust.casestudy.pcs.application.jobs

CharacteristicsCalculator - Class in edu.kit.kastel.dsis.fluidtrust.casestudy.pcs.analysis

CharacteristicsCalculator(Allocation) - Constructor for class edu.kit.kastel.dsis.fluidtrust.casestudy.pcs.analysis.CharacteristicsCalculator

CharacteristicsQueryEngine - Class in edu.kit.kastel.dsis.fluidtrust.casestudy.pcs.analysis

CharacteristicsQueryEngine(CharacteristicsCalculator, Collection<ActionSequence>) - Constructor for class edu.kit.kastel.dsis.fluidtrust.casestudy.pcs.analysis.CharacteristicsQueryEngine

CharacteristicValue - Class in edu.kit.kastel.dsis.fluidtrust.casestudy.pcs.analysis.dto

CharacteristicValue(EnumCharacteristicType, Literal) - Constructor for class edu.kit.kastel.dsis.fluidtrust.casestudy.pcs.analysis.dto.CharacteristicValue

CharacteristicValueJsonSerializer - Class in edu.kit.kastel.dsis.fluidtrust.casestudy.pcs.application.json

CharacteristicValueJsonSerializer() - Constructor for class edu.kit.kastel.dsis.fluidtrust.casestudy.pcs.application.json.CharacteristicValueJsonSerializer

cleanup(IProgressMonitor) - Method in class edu.kit.kastel.dsis.fluidtrust.casestudy.pcs.application.jobs.ResultMetricsExtractionJob

cleanup(IProgressMonitor) - Method in class edu.kit.kastel.dsis.fluidtrust.casestudy.pcs.application.jobs.RunCaseStudyForCaseJob

cleanup(IProgressMonitor) - Method in class edu.kit.kastel.dsis.fluidtrust.casestudy.pcs.application.jobs.RunJavaBasedAnalysisJob

cleanup(IProgressMonitor) - Method in class edu.kit.kastel.dsis.fluidtrust.casestudy.pcs.application.jobs.RunJavaBasedDestinationAnalysis

cleanup(IProgressMonitor) - Method in class edu.kit.kastel.dsis.fluidtrust.casestudy.pcs.application.jobs.SerialiseActionBasedQueryResultJob

cleanup(IProgressMonitor) - Method in class edu.kit.kastel.dsis.fluidtrust.casestudy.pcs.application.jobs.SerializeResultsToCSVJob

cleanup(IProgressMonitor) - Method in class edu.kit.kastel.dsis.fluidtrust.datacharacteristic.analysis.jobs.PropagateCharacteristicJob

clear() - Method in class edu.kit.kastel.dsis.fluidtrust.casestudy.pcs.analysis.dto.ActionSequence

CONTAINER_ATTRIBUTES - edu.kit.kastel.dsis.fluidtrust.casestudy.pcs.application.query.ACObject

contains(Object) - Method in class edu.kit.kastel.dsis.fluidtrust.casestudy.pcs.analysis.dto.ActionSequence

containsAll(Collection<?>) - Method in class edu.kit.kastel.dsis.fluidtrust.casestudy.pcs.analysis.dto.ActionSequence

context - Variable in class edu.kit.kastel.dsis.fluidtrust.casestudy.pcs.application.internal.Activator.ServiceProvider

copy(Stack<T>) - Static method in class edu.kit.kastel.dsis.fluidtrust.casestudy.pcs.analysis.ActionSequenceFinderImpl

createHelpAction(Options, PrintStream) - Method in class edu.kit.kastel.dsis.fluidtrust.casestudy.pcs.application.cli.PCSCaseStudyCLI

createHelpAction(Options, PrintStream, String) - Method in class edu.kit.kastel.dsis.fluidtrust.casestudy.pcs.application.cli.PCSCaseStudyCLI

createRunAction(File, File, Optional<String>, String[]) - Method in class edu.kit.kastel.dsis.fluidtrust.casestudy.pcs.application.cli.PCSCaseStudyCLI

CUSTOMS - edu.kit.kastel.dsis.fluidtrust.casestudy.pcs.application.query.Role

D

DANGEROUS_GOODS - edu.kit.kastel.dsis.fluidtrust.casestudy.pcs.application.query.ACObject

DataDTO - Class in edu.kit.kastel.dsis.fluidtrust.datacharacteristic.analysis

DataDTO(String, String, String, String, String) - Constructor for class edu.kit.kastel.dsis.fluidtrust.datacharacteristic.analysis.DataDTO

DECLARATION - edu.kit.kastel.dsis.fluidtrust.casestudy.pcs.application.query.ACObject

DESTINATION_KIND_AMOUNT - edu.kit.kastel.dsis.fluidtrust.casestudy.pcs.application.query.ACObject

directory - Variable in class edu.kit.kastel.dsis.fluidtrust.casestudy.pcs.application.jobs.ResultMetricsExtractionJob

directory - Variable in class edu.kit.kastel.dsis.fluidtrust.casestudy.pcs.application.jobs.RunCaseStudyForCaseJob

E

edu.kit.kastel.dsis.fluidtrust.casestudy.pcs.analysis - package edu.kit.kastel.dsis.fluidtrust.casestudy.pcs.analysis

edu.kit.kastel.dsis.fluidtrust.casestudy.pcs.analysis.dto - package edu.kit.kastel.dsis.fluidtrust.casestudy.pcs.analysis.dto

edu.kit.kastel.dsis.fluidtrust.casestudy.pcs.analysis.util - package edu.kit.kastel.dsis.fluidtrust.casestudy.pcs.analysis.util

edu.kit.kastel.dsis.fluidtrust.casestudy.pcs.application.cli - package edu.kit.kastel.dsis.fluidtrust.casestudy.pcs.application.cli

edu.kit.kastel.dsis.fluidtrust.casestudy.pcs.application.internal - package edu.kit.kastel.dsis.fluidtrust.casestudy.pcs.application.internal

edu.kit.kastel.dsis.fluidtrust.casestudy.pcs.application.jobs - package edu.kit.kastel.dsis.fluidtrust.casestudy.pcs.application.jobs

edu.kit.kastel.dsis.fluidtrust.casestudy.pcs.application.json - package edu.kit.kastel.dsis.fluidtrust.casestudy.pcs.application.json

edu.kit.kastel.dsis.fluidtrust.casestudy.pcs.application.query - package edu.kit.kastel.dsis.fluidtrust.casestudy.pcs.application.query

edu.kit.kastel.dsis.fluidtrust.datacharacteristic.analysis - package edu.kit.kastel.dsis.fluidtrust.datacharacteristic.analysis

edu.kit.kastel.dsis.fluidtrust.datacharacteristic.analysis.jobs - package edu.kit.kastel.dsis.fluidtrust.datacharacteristic.analysis.jobs

effectiveCharacteristics(List<List<Characteristic<? extends CharacteristicType>>>) - Static method in class edu.kit.kastel.dsis.fluidtrust.casestudy.pcs.analysis.CharacteristicsCalculator

EntityJsonSerializer - Class in edu.kit.kastel.dsis.fluidtrust.casestudy.pcs.application.json

EntityJsonSerializer() - Constructor for class edu.kit.kastel.dsis.fluidtrust.casestudy.pcs.application.json.EntityJsonSerializer

equals(Object) - Method in class edu.kit.kastel.dsis.fluidtrust.casestudy.pcs.analysis.dto.AbstractActionSequenceElement

equals(Object) - Method in class edu.kit.kastel.dsis.fluidtrust.casestudy.pcs.analysis.dto.CallingSEFFActionSequenceElementImpl

equals(Object) - Method in class edu.kit.kastel.dsis.fluidtrust.casestudy.pcs.analysis.dto.CallingUserActionSequenceElementImpl

equals(Object) - Method in class edu.kit.kastel.dsis.fluidtrust.casestudy.pcs.analysis.dto.VariableProvidingActionSequence

evaluateRhs(Term, List<ActionSequenceElement<?>>, EnumCharacteristicType, Literal) - Method in class edu.kit.kastel.dsis.fluidtrust.casestudy.pcs.analysis.CharacteristicsCalculator

execute(IProgressMonitor) - Method in class edu.kit.kastel.dsis.fluidtrust.casestudy.pcs.application.jobs.ResultMetricsExtractionJob

execute(IProgressMonitor) - Method in class edu.kit.kastel.dsis.fluidtrust.casestudy.pcs.application.jobs.RunCaseStudyForCaseJob

execute(IProgressMonitor) - Method in class edu.kit.kastel.dsis.fluidtrust.casestudy.pcs.application.jobs.RunJavaBasedAnalysisJob

execute(IProgressMonitor) - Method in class edu.kit.kastel.dsis.fluidtrust.casestudy.pcs.application.jobs.RunJavaBasedDestinationAnalysis

execute(IProgressMonitor) - Method in class edu.kit.kastel.dsis.fluidtrust.casestudy.pcs.application.jobs.SerialiseActionBasedQueryResultJob

execute(IProgressMonitor) - Method in class edu.kit.kastel.dsis.fluidtrust.casestudy.pcs.application.jobs.SerializeResultsToCSVJob

execute(IProgressMonitor) - Method in class edu.kit.kastel.dsis.fluidtrust.datacharacteristic.analysis.jobs.PropagateCharacteristicJob

EXPORTER - edu.kit.kastel.dsis.fluidtrust.casestudy.pcs.application.query.Role

F

findActionSequencesForSEFFAction(AbstractAction, Stack<AssemblyContext>, Stack<ActionSequenceElement<?>>, List<ActionSequenceElement<?>>) - Method in class edu.kit.kastel.dsis.fluidtrust.casestudy.pcs.analysis.ActionSequenceFinderImpl

findActionSequencesForSEFFActionReturning(ExternalCallAction, Stack<AssemblyContext>, Stack<ActionSequenceElement<?>>, List<ActionSequenceElement<?>>) - Method in class edu.kit.kastel.dsis.fluidtrust.casestudy.pcs.analysis.ActionSequenceFinderImpl

findActionSequencesForUsageModel(UsageModel) - Method in class edu.kit.kastel.dsis.fluidtrust.casestudy.pcs.analysis.ActionSequenceFinderImpl

findActionSequencesForUsageModel(UsageScenario) - Method in class edu.kit.kastel.dsis.fluidtrust.casestudy.pcs.analysis.ActionSequenceFinderImpl

findActionSequencesForUserAction(AbstractUserAction, List<ActionSequenceElement<?>>) - Method in class edu.kit.kastel.dsis.fluidtrust.casestudy.pcs.analysis.ActionSequenceFinderImpl

findActionSequencesForUserActionReturning(EntryLevelSystemCall, List<ActionSequenceElement<?>>) - Method in class edu.kit.kastel.dsis.fluidtrust.casestudy.pcs.analysis.ActionSequenceFinderImpl

findCalledSEFF(Entity, Stack<AssemblyContext>) - Method in class edu.kit.kastel.dsis.fluidtrust.casestudy.pcs.analysis.CharacteristicsCalculator

findCasesInDirectory() - Method in class edu.kit.kastel.dsis.fluidtrust.casestudy.pcs.application.jobs.CaseStudyWorkflowBuilder

findVariableProvidingActionSequence(List<ActionSequenceElement<?>>, ActionSequenceElement<?>, String) - Method in class edu.kit.kastel.dsis.fluidtrust.casestudy.pcs.analysis.CharacteristicsCalculator

forEach(Consumer<? super ActionSequenceElement<?>>) - Method in class edu.kit.kastel.dsis.fluidtrust.casestudy.pcs.analysis.dto.ActionSequence

G

get() - Method in class edu.kit.kastel.dsis.fluidtrust.casestudy.pcs.application.internal.Activator.ServiceProvider

get(int) - Method in class edu.kit.kastel.dsis.fluidtrust.casestudy.pcs.analysis.dto.ActionSequence

getActionSelector() - Method in interface edu.kit.kastel.dsis.fluidtrust.casestudy.pcs.analysis.dto.ActionBasedQuery

getActionSelector() - Method in class edu.kit.kastel.dsis.fluidtrust.casestudy.pcs.analysis.dto.ActionBasedQueryImpl

getActionSequence() - Method in class edu.kit.kastel.dsis.fluidtrust.casestudy.pcs.analysis.dto.VariableProvidingActionSequence

getAllocationModel() - Method in class edu.kit.kastel.dsis.fluidtrust.casestudy.pcs.application.jobs.CaseStudyWorkflowBuilder.CaseDTO

getCharacteristicLiteral() - Method in class edu.kit.kastel.dsis.fluidtrust.casestudy.pcs.analysis.dto.CharacteristicValue

getCharacteristics(EObject) - Static method in class edu.kit.kastel.dsis.fluidtrust.casestudy.pcs.analysis.CharacteristicsCalculator

getCharacteristicType() - Method in class edu.kit.kastel.dsis.fluidtrust.casestudy.pcs.analysis.dto.CharacteristicValue

getContext() - Method in class edu.kit.kastel.dsis.fluidtrust.casestudy.pcs.analysis.dto.AbstractActionSequenceElement

getContext() - Method in interface edu.kit.kastel.dsis.fluidtrust.casestudy.pcs.analysis.dto.ActionSequenceElement

getCriticality() - Method in class edu.kit.kastel.dsis.fluidtrust.datacharacteristic.analysis.DataDTO

getDataCharacteristics() - Method in class edu.kit.kastel.dsis.fluidtrust.casestudy.pcs.analysis.dto.ActionBasedQueryResult.ActionBasedQueryResultDTO

getDataCharacteristicsToTest() - Method in interface edu.kit.kastel.dsis.fluidtrust.casestudy.pcs.analysis.dto.ActionBasedQuery

getDataCharacteristicsToTest() - Method in class edu.kit.kastel.dsis.fluidtrust.casestudy.pcs.analysis.dto.ActionBasedQueryImpl

getDataID() - Method in class edu.kit.kastel.dsis.fluidtrust.datacharacteristic.analysis.DataDTO

getDirectory() - Method in class edu.kit.kastel.dsis.fluidtrust.casestudy.pcs.application.jobs.AnalysisResult

getDirectory() - Method in class edu.kit.kastel.dsis.fluidtrust.casestudy.pcs.application.jobs.CaseStudyWorkflowBuilder.CaseDTO

getEffectiveCharacteristics(ActionSequenceElement<? extends Entity>) - Method in class edu.kit.kastel.dsis.fluidtrust.casestudy.pcs.analysis.CharacteristicsCalculator

getElement() - Method in class edu.kit.kastel.dsis.fluidtrust.casestudy.pcs.analysis.dto.AbstractActionSequenceElement

getElement() - Method in class edu.kit.kastel.dsis.fluidtrust.casestudy.pcs.analysis.dto.ActionBasedQueryResult.ActionBasedQueryResultDTO

getElement() - Method in interface edu.kit.kastel.dsis.fluidtrust.casestudy.pcs.analysis.dto.ActionSequenceElement

getInstance() - Static method in class edu.kit.kastel.dsis.fluidtrust.casestudy.pcs.application.internal.Activator

getName() - Method in class edu.kit.kastel.dsis.fluidtrust.casestudy.pcs.application.jobs.ResultMetricsExtractionJob

getName() - Method in class edu.kit.kastel.dsis.fluidtrust.casestudy.pcs.application.jobs.RunCaseStudyForCaseJob

getName() - Method in class edu.kit.kastel.dsis.fluidtrust.casestudy.pcs.application.jobs.RunJavaBasedAnalysisJob

getName() - Method in class edu.kit.kastel.dsis.fluidtrust.casestudy.pcs.application.jobs.RunJavaBasedDestinationAnalysis

getName() - Method in class edu.kit.kastel.dsis.fluidtrust.casestudy.pcs.application.jobs.SerialiseActionBasedQueryResultJob

getName() - Method in class edu.kit.kastel.dsis.fluidtrust.casestudy.pcs.application.jobs.SerializeResultsToCSVJob

getName() - Method in enum edu.kit.kastel.dsis.fluidtrust.casestudy.pcs.application.query.ACObject

getName() - Method in interface edu.kit.kastel.dsis.fluidtrust.casestudy.pcs.application.query.Named

getName() - Method in enum edu.kit.kastel.dsis.fluidtrust.casestudy.pcs.application.query.Role

getName() - Method in class edu.kit.kastel.dsis.fluidtrust.datacharacteristic.analysis.jobs.PropagateCharacteristicJob

getNodeCharacteristics() - Method in class edu.kit.kastel.dsis.fluidtrust.casestudy.pcs.analysis.dto.ActionBasedQueryResult.ActionBasedQueryResultDTO

getNodeCharacteristicsToTest() - Method in interface edu.kit.kastel.dsis.fluidtrust.casestudy.pcs.analysis.dto.ActionBasedQuery

getNodeCharacteristicsToTest() - Method in class edu.kit.kastel.dsis.fluidtrust.casestudy.pcs.analysis.dto.ActionBasedQueryImpl

getPredecessors(Entity) - Method in class edu.kit.kastel.dsis.fluidtrust.casestudy.pcs.analysis.util.PCMActionQueryUtils

getResults() - Method in class edu.kit.kastel.dsis.fluidtrust.casestudy.pcs.analysis.dto.ActionBasedQueryResult

getStringName(AbstractNamedReference) - Method in class edu.kit.kastel.dsis.fluidtrust.casestudy.pcs.analysis.util.PCMConversionUtils

getUsageModel() - Method in class edu.kit.kastel.dsis.fluidtrust.casestudy.pcs.application.jobs.CaseStudyWorkflowBuilder.CaseDTO

getVariableName() - Method in class edu.kit.kastel.dsis.fluidtrust.casestudy.pcs.analysis.dto.VariableProvidingActionSequence

getVariableNames(ActionSequenceElement<?>) - Method in class edu.kit.kastel.dsis.fluidtrust.casestudy.pcs.analysis.util.ActionSequenceQueryUtils

getVariableNames(Entity, ActionSequenceElement<?>) - Method in class edu.kit.kastel.dsis.fluidtrust.casestudy.pcs.analysis.util.ActionSequenceQueryUtils

getVariableUsageByName(Iterable<VariableUsage>, String) - Method in class edu.kit.kastel.dsis.fluidtrust.casestudy.pcs.analysis.util.ActionSequenceQueryUtils

getVariableUsageByName(Entity, ActionSequenceElement<?>, String) - Method in class edu.kit.kastel.dsis.fluidtrust.casestudy.pcs.analysis.util.ActionSequenceQueryUtils

getViolationsFile() - Method in class edu.kit.kastel.dsis.fluidtrust.casestudy.pcs.application.jobs.AnalysisResult

H

handledType() - Method in class edu.kit.kastel.dsis.fluidtrust.casestudy.pcs.application.json.ActionBasedQueryResultDTOJsonSerializer

handledType() - Method in class edu.kit.kastel.dsis.fluidtrust.casestudy.pcs.application.json.ActionBasedQueryResultJsonSerializer

handledType() - Method in class edu.kit.kastel.dsis.fluidtrust.casestudy.pcs.application.json.ActionSequenceJsonSerializer

handledType() - Method in class edu.kit.kastel.dsis.fluidtrust.casestudy.pcs.application.json.CharacteristicValueJsonSerializer

handledType() - Method in class edu.kit.kastel.dsis.fluidtrust.casestudy.pcs.application.json.EntityJsonSerializer

hasFoundViolations() - Method in class edu.kit.kastel.dsis.fluidtrust.casestudy.pcs.application.jobs.AnalysisResult

hashCode() - Method in class edu.kit.kastel.dsis.fluidtrust.casestudy.pcs.analysis.dto.AbstractActionSequenceElement

hashCode() - Method in class edu.kit.kastel.dsis.fluidtrust.casestudy.pcs.analysis.dto.CallingSEFFActionSequenceElementImpl

hashCode() - Method in class edu.kit.kastel.dsis.fluidtrust.casestudy.pcs.analysis.dto.CallingUserActionSequenceElementImpl

hashCode() - Method in class edu.kit.kastel.dsis.fluidtrust.casestudy.pcs.analysis.dto.VariableProvidingActionSequence

I

indexOf(Object) - Method in class edu.kit.kastel.dsis.fluidtrust.casestudy.pcs.analysis.dto.ActionSequence

init() - Method in class edu.kit.kastel.dsis.fluidtrust.casestudy.pcs.application.internal.Activator.ServiceProvider

isAvailable(ActionSequenceElement<?>, EnumCharacteristicType, Literal) - Method in class edu.kit.kastel.dsis.fluidtrust.casestudy.pcs.analysis.CharacteristicsCalculator

isAvailable(List<ActionSequenceElement<?>>, String, EnumCharacteristicType, Literal) - Method in class edu.kit.kastel.dsis.fluidtrust.casestudy.pcs.analysis.CharacteristicsCalculator

isAvailableOnVariable(List<ActionSequenceElement<?>>, String, CharacteristicValue) - Method in class edu.kit.kastel.dsis.fluidtrust.casestudy.pcs.analysis.CharacteristicsQueryEngine

isCallingPart() - Method in interface edu.kit.kastel.dsis.fluidtrust.casestudy.pcs.analysis.dto.CallingActionSequenceElement

isCallingPart() - Method in class edu.kit.kastel.dsis.fluidtrust.casestudy.pcs.analysis.dto.CallingSEFFActionSequenceElementImpl

isCallingPart() - Method in class edu.kit.kastel.dsis.fluidtrust.casestudy.pcs.analysis.dto.CallingUserActionSequenceElementImpl

isEmpty() - Method in class edu.kit.kastel.dsis.fluidtrust.casestudy.pcs.analysis.dto.ActionSequence

isReturningPart() - Method in interface edu.kit.kastel.dsis.fluidtrust.casestudy.pcs.analysis.dto.CallingActionSequenceElement

iterator() - Method in class edu.kit.kastel.dsis.fluidtrust.casestudy.pcs.analysis.dto.ActionSequence

L

lastIndexOf(Object) - Method in class edu.kit.kastel.dsis.fluidtrust.casestudy.pcs.analysis.dto.ActionSequence

listIterator() - Method in class edu.kit.kastel.dsis.fluidtrust.casestudy.pcs.analysis.dto.ActionSequence

listIterator(int) - Method in class edu.kit.kastel.dsis.fluidtrust.casestudy.pcs.analysis.dto.ActionSequence

M

matches(VariableCharacterizationLhs, EnumCharacteristicType, Literal) - Static method in class edu.kit.kastel.dsis.fluidtrust.casestudy.pcs.analysis.CharacteristicsCalculator

N

Named - Interface in edu.kit.kastel.dsis.fluidtrust.casestudy.pcs.application.query

O

ORDER - edu.kit.kastel.dsis.fluidtrust.casestudy.pcs.application.query.ACObject

P

parallelStream() - Method in class edu.kit.kastel.dsis.fluidtrust.casestudy.pcs.analysis.dto.ActionSequence

PCM_MODEL_PARTITION - Static variable in class edu.kit.kastel.dsis.fluidtrust.casestudy.pcs.application.jobs.RunCaseStudyForCaseJob

PCMActionQueryUtils - Class in edu.kit.kastel.dsis.fluidtrust.casestudy.pcs.analysis.util

PCMActionQueryUtils() - Constructor for class edu.kit.kastel.dsis.fluidtrust.casestudy.pcs.analysis.util.PCMActionQueryUtils

PCMConversionUtils - Class in edu.kit.kastel.dsis.fluidtrust.casestudy.pcs.analysis.util

PCMConversionUtils() - Constructor for class edu.kit.kastel.dsis.fluidtrust.casestudy.pcs.analysis.util.PCMConversionUtils

PCS - edu.kit.kastel.dsis.fluidtrust.casestudy.pcs.application.query.Role

PCSCaseStudyCLI - Class in edu.kit.kastel.dsis.fluidtrust.casestudy.pcs.application.cli

PCSCaseStudyCLI() - Constructor for class edu.kit.kastel.dsis.fluidtrust.casestudy.pcs.application.cli.PCSCaseStudyCLI

POLICY - Static variable in class edu.kit.kastel.dsis.fluidtrust.casestudy.pcs.application.query.AccessControlPolicy

PORT_AUTHORITY - edu.kit.kastel.dsis.fluidtrust.casestudy.pcs.application.query.Role

printHelp(Options, PrintStream) - Method in class edu.kit.kastel.dsis.fluidtrust.casestudy.pcs.application.cli.PCSCaseStudyCLI

PropagateCharacteristicJob - Class in edu.kit.kastel.dsis.fluidtrust.datacharacteristic.analysis.jobs

PropagateCharacteristicJob(ModelLocation, ModelLocation, String) - Constructor for class edu.kit.kastel.dsis.fluidtrust.datacharacteristic.analysis.jobs.PropagateCharacteristicJob

Q

query(ActionBasedQuery) - Method in class edu.kit.kastel.dsis.fluidtrust.casestudy.pcs.analysis.CharacteristicsQueryEngine

query(ActionSequence, ActionBasedQuery) - Method in class edu.kit.kastel.dsis.fluidtrust.casestudy.pcs.analysis.CharacteristicsQueryEngine

R

remove(int) - Method in class edu.kit.kastel.dsis.fluidtrust.casestudy.pcs.analysis.dto.ActionSequence

remove(Object) - Method in class edu.kit.kastel.dsis.fluidtrust.casestudy.pcs.analysis.dto.ActionSequence

removeAll(Collection<?>) - Method in class edu.kit.kastel.dsis.fluidtrust.casestudy.pcs.analysis.dto.ActionSequence

removeIf(Predicate<? super ActionSequenceElement<?>>) - Method in class edu.kit.kastel.dsis.fluidtrust.casestudy.pcs.analysis.dto.ActionSequence

replaceAll(UnaryOperator<ActionSequenceElement<?>>) - Method in class edu.kit.kastel.dsis.fluidtrust.casestudy.pcs.analysis.dto.ActionSequence

RESULT_METRICS_KEY - Static variable in class edu.kit.kastel.dsis.fluidtrust.casestudy.pcs.application.jobs.RunCaseStudyForCaseJob

resultFile - Variable in class edu.kit.kastel.dsis.fluidtrust.casestudy.pcs.application.jobs.SerializeResultsToCSVJob

resultFile(File) - Method in class edu.kit.kastel.dsis.fluidtrust.casestudy.pcs.application.jobs.CaseStudyWorkflowBuilder

ResultMetricsExtractionJob - Class in edu.kit.kastel.dsis.fluidtrust.casestudy.pcs.application.jobs

ResultMetricsExtractionJob(File, String, File, String) - Constructor for class edu.kit.kastel.dsis.fluidtrust.casestudy.pcs.application.jobs.ResultMetricsExtractionJob

retainAll(Collection<?>) - Method in class edu.kit.kastel.dsis.fluidtrust.casestudy.pcs.analysis.dto.ActionSequence

returnToCaller(ActionSequenceElement<?>, Stack<ActionSequenceElement<?>>, List<ActionSequenceElement<?>>) - Method in class edu.kit.kastel.dsis.fluidtrust.casestudy.pcs.analysis.ActionSequenceFinderImpl

Role - Enum in edu.kit.kastel.dsis.fluidtrust.casestudy.pcs.application.query

RunCaseStudyForCaseJob - Class in edu.kit.kastel.dsis.fluidtrust.casestudy.pcs.application.jobs

RunCaseStudyForCaseJob(File, File, String, String[]) - Constructor for class edu.kit.kastel.dsis.fluidtrust.casestudy.pcs.application.jobs.RunCaseStudyForCaseJob

RunJavaBasedAnalysisJob - Class in edu.kit.kastel.dsis.fluidtrust.casestudy.pcs.application.jobs

RunJavaBasedAnalysisJob(ModelLocation, ModelLocation, String, String, String) - Constructor for class edu.kit.kastel.dsis.fluidtrust.casestudy.pcs.application.jobs.RunJavaBasedAnalysisJob

RunJavaBasedDestinationAnalysis - Class in edu.kit.kastel.dsis.fluidtrust.casestudy.pcs.application.jobs

RunJavaBasedDestinationAnalysis(ModelLocation, ModelLocation, String, String, String, Map<String, String>) - Constructor for class edu.kit.kastel.dsis.fluidtrust.casestudy.pcs.application.jobs.RunJavaBasedDestinationAnalysis

S

scenario - Variable in class edu.kit.kastel.dsis.fluidtrust.casestudy.pcs.application.jobs.RunCaseStudyForCaseJob

scenario(String) - Method in class edu.kit.kastel.dsis.fluidtrust.casestudy.pcs.application.jobs.CaseStudyWorkflowBuilder

SEFFActionSequenceElement<T extends org.palladiosimulator.pcm.seff.AbstractAction> - Interface in edu.kit.kastel.dsis.fluidtrust.casestudy.pcs.analysis.dto

SEFFActionSequenceElementImpl<T extends org.palladiosimulator.pcm.seff.AbstractAction> - Class in edu.kit.kastel.dsis.fluidtrust.casestudy.pcs.analysis.dto

SEFFActionSequenceElementImpl(T, Stack<AssemblyContext>) - Constructor for class edu.kit.kastel.dsis.fluidtrust.casestudy.pcs.analysis.dto.SEFFActionSequenceElementImpl

SerialiseActionBasedQueryResultJob - Class in edu.kit.kastel.dsis.fluidtrust.casestudy.pcs.application.jobs

SerialiseActionBasedQueryResultJob(String, File) - Constructor for class edu.kit.kastel.dsis.fluidtrust.casestudy.pcs.application.jobs.SerialiseActionBasedQueryResultJob

serialize(ActionBasedQueryResult.ActionBasedQueryResultDTO, JsonGenerator, SerializerProvider) - Method in class edu.kit.kastel.dsis.fluidtrust.casestudy.pcs.application.json.ActionBasedQueryResultDTOJsonSerializer

serialize(ActionBasedQueryResult, JsonGenerator, SerializerProvider) - Method in class edu.kit.kastel.dsis.fluidtrust.casestudy.pcs.application.json.ActionBasedQueryResultJsonSerializer

serialize(ActionSequence, JsonGenerator, SerializerProvider) - Method in class edu.kit.kastel.dsis.fluidtrust.casestudy.pcs.application.json.ActionSequenceJsonSerializer

serialize(CharacteristicValue, JsonGenerator, SerializerProvider) - Method in class edu.kit.kastel.dsis.fluidtrust.casestudy.pcs.application.json.CharacteristicValueJsonSerializer

serialize(Entity, JsonGenerator, SerializerProvider) - Method in class edu.kit.kastel.dsis.fluidtrust.casestudy.pcs.application.json.EntityJsonSerializer

serializeCompact(ActionBasedQueryResult.ActionBasedQueryResultDTO, JsonGenerator, SerializerProvider) - Method in class edu.kit.kastel.dsis.fluidtrust.casestudy.pcs.application.json.ActionBasedQueryResultDTOJsonSerializer

serializeFull(ActionBasedQueryResult.ActionBasedQueryResultDTO, JsonGenerator, SerializerProvider) - Method in class edu.kit.kastel.dsis.fluidtrust.casestudy.pcs.application.json.ActionBasedQueryResultDTOJsonSerializer

SerializeResultsToCSVJob - Class in edu.kit.kastel.dsis.fluidtrust.casestudy.pcs.application.jobs

SerializeResultsToCSVJob(File) - Constructor for class edu.kit.kastel.dsis.fluidtrust.casestudy.pcs.application.jobs.SerializeResultsToCSVJob

service - Variable in class edu.kit.kastel.dsis.fluidtrust.casestudy.pcs.application.internal.Activator.ServiceProvider

serviceClass - Variable in class edu.kit.kastel.dsis.fluidtrust.casestudy.pcs.application.internal.Activator.ServiceProvider

ServiceProvider(Class<S>, BundleContext) - Constructor for class edu.kit.kastel.dsis.fluidtrust.casestudy.pcs.application.internal.Activator.ServiceProvider

serviceReference - Variable in class edu.kit.kastel.dsis.fluidtrust.casestudy.pcs.application.internal.Activator.ServiceProvider

set(int, ActionSequenceElement<?>) - Method in class edu.kit.kastel.dsis.fluidtrust.casestudy.pcs.analysis.dto.ActionSequence

setAllocationModel(File) - Method in class edu.kit.kastel.dsis.fluidtrust.casestudy.pcs.application.jobs.CaseStudyWorkflowBuilder.CaseDTO

setDirectory(File) - Method in class edu.kit.kastel.dsis.fluidtrust.casestudy.pcs.application.jobs.AnalysisResult

setDirectory(File) - Method in class edu.kit.kastel.dsis.fluidtrust.casestudy.pcs.application.jobs.CaseStudyWorkflowBuilder.CaseDTO

setHasFoundViolations(boolean) - Method in class edu.kit.kastel.dsis.fluidtrust.casestudy.pcs.application.jobs.AnalysisResult

setUsageModel(File) - Method in class edu.kit.kastel.dsis.fluidtrust.casestudy.pcs.application.jobs.CaseStudyWorkflowBuilder.CaseDTO

setViolationsFile(File) - Method in class edu.kit.kastel.dsis.fluidtrust.casestudy.pcs.application.jobs.AnalysisResult

SHIPPING_LINE - edu.kit.kastel.dsis.fluidtrust.casestudy.pcs.application.query.Role

size() - Method in class edu.kit.kastel.dsis.fluidtrust.casestudy.pcs.analysis.dto.ActionSequence

sort(Comparator<? super ActionSequenceElement<?>>) - Method in class edu.kit.kastel.dsis.fluidtrust.casestudy.pcs.analysis.dto.ActionSequence

spliterator() - Method in class edu.kit.kastel.dsis.fluidtrust.casestudy.pcs.analysis.dto.ActionSequence

start(IApplicationContext) - Method in class edu.kit.kastel.dsis.fluidtrust.casestudy.pcs.application.cli.PCSCaseStudyCLI

start(BundleContext) - Method in class edu.kit.kastel.dsis.fluidtrust.datacharacteristic.analysis.Activator

stop() - Method in class edu.kit.kastel.dsis.fluidtrust.casestudy.pcs.application.cli.PCSCaseStudyCLI

stop(BundleContext) - Method in class edu.kit.kastel.dsis.fluidtrust.datacharacteristic.analysis.Activator

stream() - Method in class edu.kit.kastel.dsis.fluidtrust.casestudy.pcs.analysis.dto.ActionSequence

subList(int, int) - Method in class edu.kit.kastel.dsis.fluidtrust.casestudy.pcs.analysis.dto.ActionSequence

T

TERMINAL - edu.kit.kastel.dsis.fluidtrust.casestudy.pcs.application.query.Role

toArray() - Method in class edu.kit.kastel.dsis.fluidtrust.casestudy.pcs.analysis.dto.ActionSequence

toArray(IntFunction<T[]>) - Method in class edu.kit.kastel.dsis.fluidtrust.casestudy.pcs.analysis.dto.ActionSequence

toArray(T[]) - Method in class edu.kit.kastel.dsis.fluidtrust.casestudy.pcs.analysis.dto.ActionSequence

toString() - Method in class edu.kit.kastel.dsis.fluidtrust.casestudy.pcs.analysis.dto.VariableProvidingActionSequence

transitivePredecessor(AbstractAction, AbstractAction) - Method in class edu.kit.kastel.dsis.fluidtrust.casestudy.pcs.analysis.util.PCMActionQueryUtils

transitivePredecessor(AbstractUserAction, AbstractUserAction) - Method in class edu.kit.kastel.dsis.fluidtrust.casestudy.pcs.analysis.util.PCMActionQueryUtils

U

uninit() - Method in class edu.kit.kastel.dsis.fluidtrust.casestudy.pcs.application.internal.Activator.ServiceProvider

usageModel - Variable in class edu.kit.kastel.dsis.fluidtrust.casestudy.pcs.application.jobs.RunCaseStudyForCaseJob

UserActionSequenceElement<T extends org.palladiosimulator.pcm.usagemodel.AbstractUserAction> - Interface in edu.kit.kastel.dsis.fluidtrust.casestudy.pcs.analysis.dto

UserActionSequenceElementImpl<T extends org.palladiosimulator.pcm.usagemodel.AbstractUserAction> - Class in edu.kit.kastel.dsis.fluidtrust.casestudy.pcs.analysis.dto

UserActionSequenceElementImpl(T) - Constructor for class edu.kit.kastel.dsis.fluidtrust.casestudy.pcs.analysis.dto.UserActionSequenceElementImpl

V

VALUE_DESCRIPTION - edu.kit.kastel.dsis.fluidtrust.casestudy.pcs.application.query.ACObject

valueOf(String) - Static method in enum edu.kit.kastel.dsis.fluidtrust.casestudy.pcs.application.query.ACObject

Returns the enum constant of this type with the specified name.

valueOf(String) - Static method in enum edu.kit.kastel.dsis.fluidtrust.casestudy.pcs.application.query.Role

Returns the enum constant of this type with the specified name.

values() - Static method in enum edu.kit.kastel.dsis.fluidtrust.casestudy.pcs.application.query.ACObject

Returns an array containing the constants of this enum type, in the order they are declared.

values() - Static method in enum edu.kit.kastel.dsis.fluidtrust.casestudy.pcs.application.query.Role

Returns an array containing the constants of this enum type, in the order they are declared.

VariableProvidingActionSequence - Class in edu.kit.kastel.dsis.fluidtrust.casestudy.pcs.analysis.dto

VariableProvidingActionSequence(List<ActionSequenceElement<?>>, String) - Constructor for class edu.kit.kastel.dsis.fluidtrust.casestudy.pcs.analysis.dto.VariableProvidingActionSequence

variables(String[]) - Method in class edu.kit.kastel.dsis.fluidtrust.casestudy.pcs.application.jobs.CaseStudyWorkflowBuilder

VGM - edu.kit.kastel.dsis.fluidtrust.casestudy.pcs.application.query.ACObject

violationsFile - Variable in class edu.kit.kastel.dsis.fluidtrust.casestudy.pcs.application.jobs.ResultMetricsExtractionJob

violationsKey - Variable in class edu.kit.kastel.dsis.fluidtrust.casestudy.pcs.application.jobs.ResultMetricsExtractionJob

_

_evaluateRhs(NamedEnumCharacteristicReference, List<ActionSequenceElement<?>>, EnumCharacteristicType, Literal) - Method in class edu.kit.kastel.dsis.fluidtrust.casestudy.pcs.analysis.CharacteristicsCalculator

_evaluateRhs(And, List<ActionSequenceElement<?>>, EnumCharacteristicType, Literal) - Method in class edu.kit.kastel.dsis.fluidtrust.casestudy.pcs.analysis.CharacteristicsCalculator

_evaluateRhs(ContainerCharacteristicReference, List<ActionSequenceElement<?>>, EnumCharacteristicType, Literal) - Method in class edu.kit.kastel.dsis.fluidtrust.casestudy.pcs.analysis.CharacteristicsCalculator

_evaluateRhs(False, List<ActionSequenceElement<?>>, EnumCharacteristicType, Literal) - Method in class edu.kit.kastel.dsis.fluidtrust.casestudy.pcs.analysis.CharacteristicsCalculator

_evaluateRhs(Not, List<ActionSequenceElement<?>>, EnumCharacteristicType, Literal) - Method in class edu.kit.kastel.dsis.fluidtrust.casestudy.pcs.analysis.CharacteristicsCalculator

_evaluateRhs(Or, List<ActionSequenceElement<?>>, EnumCharacteristicType, Literal) - Method in class edu.kit.kastel.dsis.fluidtrust.casestudy.pcs.analysis.CharacteristicsCalculator

_evaluateRhs(Term, List<ActionSequenceElement<?>>, EnumCharacteristicType, Literal) - Method in class edu.kit.kastel.dsis.fluidtrust.casestudy.pcs.analysis.CharacteristicsCalculator

_evaluateRhs(True, List<ActionSequenceElement<?>>, EnumCharacteristicType, Literal) - Method in class edu.kit.kastel.dsis.fluidtrust.casestudy.pcs.analysis.CharacteristicsCalculator

_findActionSequencesForSEFFAction(BranchAction, Stack<AssemblyContext>, Stack<ActionSequenceElement<?>>, List<ActionSequenceElement<?>>) - Method in class edu.kit.kastel.dsis.fluidtrust.casestudy.pcs.analysis.ActionSequenceFinderImpl

_findActionSequencesForSEFFAction(ExternalCallAction, Stack<AssemblyContext>, Stack<ActionSequenceElement<?>>, List<ActionSequenceElement<?>>) - Method in class edu.kit.kastel.dsis.fluidtrust.casestudy.pcs.analysis.ActionSequenceFinderImpl

_findActionSequencesForSEFFAction(SetVariableAction, Stack<AssemblyContext>, Stack<ActionSequenceElement<?>>, List<ActionSequenceElement<?>>) - Method in class edu.kit.kastel.dsis.fluidtrust.casestudy.pcs.analysis.ActionSequenceFinderImpl

_findActionSequencesForSEFFAction(StartAction, Stack<AssemblyContext>, Stack<ActionSequenceElement<?>>, List<ActionSequenceElement<?>>) - Method in class edu.kit.kastel.dsis.fluidtrust.casestudy.pcs.analysis.ActionSequenceFinderImpl

_findActionSequencesForSEFFAction(StopAction, Stack<AssemblyContext>, Stack<ActionSequenceElement<?>>, List<ActionSequenceElement<?>>) - Method in class edu.kit.kastel.dsis.fluidtrust.casestudy.pcs.analysis.ActionSequenceFinderImpl

_findActionSequencesForUserAction(Branch, List<ActionSequenceElement<?>>) - Method in class edu.kit.kastel.dsis.fluidtrust.casestudy.pcs.analysis.ActionSequenceFinderImpl

_findActionSequencesForUserAction(EntryLevelSystemCall, List<ActionSequenceElement<?>>) - Method in class edu.kit.kastel.dsis.fluidtrust.casestudy.pcs.analysis.ActionSequenceFinderImpl

_findActionSequencesForUserAction(Start, List<ActionSequenceElement<?>>) - Method in class edu.kit.kastel.dsis.fluidtrust.casestudy.pcs.analysis.ActionSequenceFinderImpl

_findActionSequencesForUserAction(Stop, List<ActionSequenceElement<?>>) - Method in class edu.kit.kastel.dsis.fluidtrust.casestudy.pcs.analysis.ActionSequenceFinderImpl

_findCalledSEFF(ExternalCallAction, Stack<AssemblyContext>) - Method in class edu.kit.kastel.dsis.fluidtrust.casestudy.pcs.analysis.CharacteristicsCalculator

_findCalledSEFF(EntryLevelSystemCall, Stack<AssemblyContext>) - Method in class edu.kit.kastel.dsis.fluidtrust.casestudy.pcs.analysis.CharacteristicsCalculator

_findVariableProvidingActionSequence(List<ActionSequenceElement<?>>, ActionSequenceElement<?>, String) - Method in class edu.kit.kastel.dsis.fluidtrust.casestudy.pcs.analysis.CharacteristicsCalculator

_findVariableProvidingActionSequence(List<ActionSequenceElement<?>>, CallingActionSequenceElement<?>, String) - Method in class edu.kit.kastel.dsis.fluidtrust.casestudy.pcs.analysis.CharacteristicsCalculator

_getEffectiveCharacteristics(SEFFActionSequenceElement<AbstractAction>) - Method in class edu.kit.kastel.dsis.fluidtrust.casestudy.pcs.analysis.CharacteristicsCalculator

_getEffectiveCharacteristics(UserActionSequenceElement<AbstractUserAction>) - Method in class edu.kit.kastel.dsis.fluidtrust.casestudy.pcs.analysis.CharacteristicsCalculator

_getPredecessors(AbstractAction) - Method in class edu.kit.kastel.dsis.fluidtrust.casestudy.pcs.analysis.util.PCMActionQueryUtils

_getPredecessors(BranchAction) - Method in class edu.kit.kastel.dsis.fluidtrust.casestudy.pcs.analysis.util.PCMActionQueryUtils

_getPredecessors(AbstractUserAction) - Method in class edu.kit.kastel.dsis.fluidtrust.casestudy.pcs.analysis.util.PCMActionQueryUtils

_getPredecessors(Branch) - Method in class edu.kit.kastel.dsis.fluidtrust.casestudy.pcs.analysis.util.PCMActionQueryUtils

_getVariableNames(ExternalCallAction, ActionSequenceElement<?>) - Method in class edu.kit.kastel.dsis.fluidtrust.casestudy.pcs.analysis.util.ActionSequenceQueryUtils

_getVariableNames(SetVariableAction, ActionSequenceElement<?>) - Method in class edu.kit.kastel.dsis.fluidtrust.casestudy.pcs.analysis.util.ActionSequenceQueryUtils

_getVariableNames(EntryLevelSystemCall, ActionSequenceElement<?>) - Method in class edu.kit.kastel.dsis.fluidtrust.casestudy.pcs.analysis.util.ActionSequenceQueryUtils

_getVariableUsageByName(ExternalCallAction, ActionSequenceElement<?>, String) - Method in class edu.kit.kastel.dsis.fluidtrust.casestudy.pcs.analysis.util.ActionSequenceQueryUtils

_getVariableUsageByName(SetVariableAction, ActionSequenceElement<?>, String) - Method in class edu.kit.kastel.dsis.fluidtrust.casestudy.pcs.analysis.util.ActionSequenceQueryUtils

_getVariableUsageByName(EntryLevelSystemCall, ActionSequenceElement<?>, String) - Method in class edu.kit.kastel.dsis.fluidtrust.casestudy.pcs.analysis.util.ActionSequenceQueryUtils

_matches(LhsEnumCharacteristicReference, EnumCharacteristicType, Literal) - Static method in class edu.kit.kastel.dsis.fluidtrust.casestudy.pcs.analysis.CharacteristicsCalculator

_matches(VariableCharacterizationLhs, EnumCharacteristicType, Literal) - Static method in class edu.kit.kastel.dsis.fluidtrust.casestudy.pcs.analysis.CharacteristicsCalculator

_returnToCaller(ActionSequenceElement<?>, Stack<ActionSequenceElement<?>>, List<ActionSequenceElement<?>>) - Method in class edu.kit.kastel.dsis.fluidtrust.casestudy.pcs.analysis.ActionSequenceFinderImpl

_returnToCaller(CallingSEFFActionSequenceElementImpl, Stack<ActionSequenceElement<?>>, List<ActionSequenceElement<?>>) - Method in class edu.kit.kastel.dsis.fluidtrust.casestudy.pcs.analysis.ActionSequenceFinderImpl

_returnToCaller(CallingUserActionSequenceElementImpl, Stack<ActionSequenceElement<?>>, List<ActionSequenceElement<?>>) - Method in class edu.kit.kastel.dsis.fluidtrust.casestudy.pcs.analysis.ActionSequenceFinderImpl

A B C D E F G H I L M N O P Q R S T U V _
All Classes All Packages