edu.cmu.sei.aadl.aadl2.properties
Class EvaluatedProperty.MpvProxy

java.lang.Object
  extended by edu.cmu.sei.aadl.aadl2.properties.EvaluatedProperty.MpvProxy
Enclosing class:
EvaluatedProperty

public static class EvaluatedProperty.MpvProxy
extends java.lang.Object

This class stores a reference to a modal or non-modal property value in a property association.


Constructor Summary
EvaluatedProperty.MpvProxy(ModalPropertyValue mpv)
           
EvaluatedProperty.MpvProxy(PropertyExpression exp)
           
 
Method Summary
 java.util.List<Mode> getModes()
           
 ModalPropertyValue getMPV()
           
 PropertyExpression getValue()
           
 boolean isModal()
           
 void setMPV(ModalPropertyValue mpv)
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

EvaluatedProperty.MpvProxy

public EvaluatedProperty.MpvProxy(ModalPropertyValue mpv)

EvaluatedProperty.MpvProxy

public EvaluatedProperty.MpvProxy(PropertyExpression exp)
Method Detail

getValue

public PropertyExpression getValue()

getModes

public java.util.List<Mode> getModes()

isModal

public boolean isModal()

getMPV

public ModalPropertyValue getMPV()

setMPV

public void setMPV(ModalPropertyValue mpv)