Package org.overturetool.vdmj.values

Examples of org.overturetool.vdmj.values.Value

62
63
64
65
66
67
68
69
70
71
72
  public static ValueInfo digForVariable(List<String> varName,
      NameValuePairList list) throws RemoteSimulationException,
      ValueException
  {
    Value value = null;
    if (list.size() > 0)
    {
      String namePart = varName.get(0);
      for (NameValuePair p : list)
      {
View Full Code Here
94
95
96
97
98
99
100
101
102
103
104
  public static ValueInfo digForVariable(List<String> varName,
      List<ValueInfo> list) throws RemoteSimulationException,
      ValueException
  {

    Value value = null;
    if (list.size() >= 1)
    {
      String namePart = varName.get(0);
      for (ValueInfo p : list)
      {
View Full Code Here
192
193
194
195
196
197
198
199
200
201
202
  }

  public static ValueInfo createValue(LexNameToken name,
      ClassDefinition classDef, Value value, CPUValue cpu)
  {
    Value val = value.deref();
    if (val instanceof SeqValue)
    {
      return new SeqValueInfo(name, classDef, (SeqValue) val, cpu);
    }
    return new ValueInfo(name, classDef, value, cpu);
View Full Code Here
190
191
192
193
194
195
196
197
198
199
200
  protected boolean setScalarValue(ValueInfo val, CoSimType inputType,
      String p, String name) throws RemoteSimulationException
  {
    if (val != null)
    {
      Value newval = null;

      if (inputType == CoSimType.Auto)
      {
        inputType = CoSimType.NumericValue;
        if (val.value.deref() instanceof BooleanValue)
View Full Code Here
394
395
396
397
398
399
400
401
402
403
404
    if (index + 1 > val.value.values.size())
    {
      return null;
    } else
    {
      Value valToInspect = val.value.values.get(index).deref();

      if (valToInspect instanceof SeqValue)
      {
        SeqValueInfo valToInspectSeq = (SeqValueInfo) VDMClassHelper.createValue(val.name, val.classDef, (SeqValue) valToInspect, val.cpu);
        return findNestedSeq(valToInspectSeq, indexes.subList(1, indexes.size()));
View Full Code Here
248
249
250
251
252
253
254
255
256
257
258
259
  private void evalEvent(String event) throws RemoteSimulationException
  {
    boolean evaluated = false;
    if (links.getEvents().keySet().contains(event))
    {
      Value val = getValue(event).value;
      if (val.deref() instanceof OperationValue)
      {
        OperationValue eventOp = (OperationValue) val;
        if (eventOp.paramPatterns.size() == 0)
        {
          try
View Full Code Here
288
289
290
291
292
293
294
295
296
297
298
299
300
    NameValuePairList list = SystemDefinition.getSystemMembers();
    if (list != null && links.getLinks().containsKey(name))
    {
      List<String> varName = links.getQualifiedName(name);

      Value value = VDMClassHelper.digForVariable(varName.subList(1, varName.size()), list).value;

      if (value.deref() instanceof UndefinedValue)
      {
        throw new RemoteSimulationException("Value: " + name
            + " not initialized");
      }
View Full Code Here
652
653
654
655
656
657
658
659
660
661
662
      }

      for (String name : logVariables)
      {
        String[] names = name.split("\\.");
        Value v = getRawValue(Arrays.asList(names), null);
        if (v == null)
        {
          throw new RemoteSimulationException("Could not find variable: "
              + name + " logging is skipped.");
        }
View Full Code Here
1159
1160
1161
1162
1163
1164
1165
1166
1167
1168
1169
  public List<Double> getParameter(String name)
      throws RemoteSimulationException
  {
    try
    {
      Value value = getValue(name).value;

      List<Double> result = VDMClassHelper.getDoubleListFromValue(value);
      if (result != null)
      {
        return result;
View Full Code Here
1180
1181
1182
1183
1184
1185
1186
1187
1188
  }

  public List<Integer> getParameterSize(String name)
      throws RemoteSimulationException
  {
    Value value = getValue(name).value;
    return VDMClassHelper.getValueDimensions(value);

  }
View Full Code Here
TOP

Related Classes of org.overturetool.vdmj.values.Value

  • org.destecs.vdm.BasicSimulationManager
  • org.destecs.vdm.SimulationManager
  • org.destecs.vdm.utility.VDMClassHelper
    • Copyright © 2018 www.massapicom. All rights reserved.
    All source code are property of their respective owners. Java is a trademark of Sun Microsystems, Inc and owned by ORACLE Inc. Contact coftware#gmail.com.