Package modelabstraction

Class ContextSetRecord

java.lang.Object

modelabstraction.ContextSetRecord

public class ContextSetRecord
extends Object

Wrapper for context set, which contains additional information

Constructor Summary

Constructors

Constructor	Description
ContextSetRecord(org.palladiosimulator.pcm.confidentiality.context.set.ContextSet set, org.palladiosimulator.pcm.confidentiality.context.specification.PolicySpecification policySpecification, boolean negative)

Method Summary

Modifier and Type	Method	Description
org.palladiosimulator.pcm.confidentiality.context.set.ContextSet	getContextSet()
org.palladiosimulator.pcm.confidentiality.context.specification.PolicySpecification	getPolicySpecification()
boolean	isNegative()

Methods inherited from class java.lang.Object

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

Constructor Detail

ContextSetRecord

public ContextSetRecord(org.palladiosimulator.pcm.confidentiality.context.set.ContextSet set,
                        org.palladiosimulator.pcm.confidentiality.context.specification.PolicySpecification policySpecification,
                        boolean negative)

Method Detail

getContextSet

public org.palladiosimulator.pcm.confidentiality.context.set.ContextSet getContextSet()

getPolicySpecification

public org.palladiosimulator.pcm.confidentiality.context.specification.PolicySpecification getPolicySpecification()

isNegative

public boolean isNegative()