Examples of RemoteSimulationException

org.destecs.protocol.exceptions.RemoteSimulationException

Examples of org.destecs.protocol.exceptions.RemoteSimulationException

          }
        }
      }
    }


    throw new RemoteSimulationException("Value: " + varName + " not found");
  }

View Full Code Here

Examples of org.destecs.protocol.exceptions.RemoteSimulationException

          }
        }
      }
    }


    throw new RemoteSimulationException("Value: " + varName + " not found");
  }

View Full Code Here

Examples of org.destecs.protocol.exceptions.RemoteSimulationException


    Definition s = classList.findName(new LexNameToken(className, varName, null), NameScope.NAMESANDSTATE);


    if (s == null)
    {
      throw new RemoteSimulationException("Unable to locate: \""
          + dotName(variableName)
          + "\" failed with: \""
          + varName
          + "\". Is this accessiable through the system while inilializing");
    }

View Full Code Here

Examples of org.destecs.protocol.exceptions.RemoteSimulationException

  {
    List<String> qualifiedName = linkInfo.getQualifiedName();


    if (qualifiedName.size() < 2)
    {
      throw new RemoteSimulationException("Error in dimention calculation for \""
          + linkInfo
          + "\". Qualified name too small: "
          + qualifiedName);
    }


    try
    {
      Definition def = VDMClassHelper.findDefinitionInClass(SimulationManager.getInstance().controller.getInterpreter().getClasses(), qualifiedName);
      if (def == null)
      {
        return -2;
      } else
      {
        return extractDefinitionDimensions(def);
      }


    }catch(RemoteSimulationException e){
      throw e;
    }catch (Exception e)
    {
      ErrorLog.log(e);
      throw new RemoteSimulationException("Fatal error in dimention calculation for \""   + linkInfo   + "\"",e);


    }




  }

View Full Code Here

Examples of org.destecs.protocol.exceptions.RemoteSimulationException

      if (o instanceof Double)
      {
        value.add((Double) o);
      } else
      {
        throw new RemoteSimulationException("Internal error converting parameter: "
            + o + " to Double");
      }
    }


    List<Integer> size = new Vector<Integer>();


    for (Object o : (Object[]) data.get("size"))
    {
      if (o instanceof Integer)
      {
        size.add((Integer) o);
      } else
      {
        throw new RemoteSimulationException("Internal error converting parameter size: "
            + o + " to Integer");
      }
    }


    Boolean success;

View Full Code Here

Examples of org.destecs.protocol.exceptions.RemoteSimulationException

    {
      BasicSchedulableThread.signalAll(Signal.SUSPEND);
      return true;
    } catch (Exception e)
    {
      throw new RemoteSimulationException("Failed to suspend the VDM debugger");
    }


  }

View Full Code Here

Examples of org.destecs.protocol.exceptions.RemoteSimulationException

                + request.value.name.name
                + "\""
                + "\n\tReasong is: " + e.getMessage();
              Console.err.println(message);
              
              runtimeException = new RemoteSimulationException(message);
            } catch (Exception e)
            {
              debugErr(e);
              e.printStackTrace();
            }

View Full Code Here

Examples of org.destecs.protocol.exceptions.RemoteSimulationException

              newval = new BooleanValue(Double.valueOf(p) > 0 ? true
                  : false);
            } catch (NumberFormatException e)
            {
              debugErr(e);
              throw new RemoteSimulationException("Faild to setvalue from: "
                  + name, e);
            }


          }
            break;
          case NumericValue:
            newval = NumericValue.valueOf(Double.parseDouble(p), null);
            break;
          case String:
          case Unknown:
            System.err.println("Unknown value type to set");
            return false;
        }


        if (newval == null)
        {
          throw new RemoteSimulationException("Error in setValue with variable: "
              + name
              + " properly a type mismatch. Requested input type was: "
              + inputType);
        }


        updateValueQueueRequest.put(new ValueUpdateRequest(val, newval));
      } catch (ValueException e)
      {
        debugErr(e);
        throw new RemoteSimulationException("Faild to setvalue from: "
            + name, e);
      } catch (InterruptedException e)
      {
        e.printStackTrace();
        throw new RemoteSimulationException("Internal error in setValue with name: "
            + name, e);
      }


    } else
    {
      throw new RemoteSimulationException("Faild to find variable in setValue with name: "
          + name);
    }
    return true;


  }

View Full Code Here

Examples of org.destecs.protocol.exceptions.RemoteSimulationException

      int sizeOfSeq, String name) throws RemoteSimulationException
  {


    if (val.value.values.size() > values.size())
    {
      throw new RemoteSimulationException("Values received are not enough to fill matrix "
          + name);
    }


    for (int i = 0; i < val.value.values.size(); i++)
    {

View Full Code Here

Examples of org.destecs.protocol.exceptions.RemoteSimulationException

        ValueInfo output = VDMClassHelper.digForVariable(varName.subList(1, varName.size()), list);
        return output;
      }
    } catch (ValueException e)
    {
      throw new RemoteSimulationException("Value: " + name + " not found");
    }
    return null;
  }

View Full Code Here

0 1 2

TOP

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.