Changed TimingService to use Virtual Time

plugins/org.yakindu.sct.model.sexec.interpreter/xtend-gen/org/yakindu/sct/model/sexec/interpreter/impl/ExecutionFlowInterpreter.java

@@ -1,560 +0,0 @@
-package org.yakindu.sct.model.sexec.interpreter.impl;
-
-import com.google.inject.Inject;
-import com.google.inject.name.Named;
-import java.util.List;
-import org.eclipse.emf.common.util.EList;
-import org.eclipse.emf.ecore.EObject;
-import org.eclipse.xtext.naming.QualifiedName;
-import org.eclipse.xtext.xbase.lib.BooleanExtensions;
-import org.eclipse.xtext.xbase.lib.ComparableExtensions;
-import org.eclipse.xtext.xbase.lib.Conversions;
-import org.eclipse.xtext.xbase.lib.Functions.Function2;
-import org.eclipse.xtext.xbase.lib.InputOutput;
-import org.eclipse.xtext.xbase.lib.IntegerExtensions;
-import org.eclipse.xtext.xbase.lib.IterableExtensions;
-import org.eclipse.xtext.xbase.lib.ObjectExtensions;
-import org.eclipse.xtext.xbase.lib.StringExtensions;
-import org.yakindu.base.types.Type;
-import org.yakindu.sct.model.sexec.Call;
-import org.yakindu.sct.model.sexec.Check;
-import org.yakindu.sct.model.sexec.EnterState;
-import org.yakindu.sct.model.sexec.Execution;
-import org.yakindu.sct.model.sexec.ExecutionFlow;
-import org.yakindu.sct.model.sexec.ExecutionState;
-import org.yakindu.sct.model.sexec.ExitState;
-import org.yakindu.sct.model.sexec.If;
-import org.yakindu.sct.model.sexec.ScheduleTimeEvent;
-import org.yakindu.sct.model.sexec.Sequence;
-import org.yakindu.sct.model.sexec.StateCase;
-import org.yakindu.sct.model.sexec.StateSwitch;
-import org.yakindu.sct.model.sexec.StateVector;
-import org.yakindu.sct.model.sexec.Step;
-import org.yakindu.sct.model.sexec.TimeEvent;
-import org.yakindu.sct.model.sexec.Trace;
-import org.yakindu.sct.model.sexec.UnscheduleTimeEvent;
-import org.yakindu.sct.model.sexec.interpreter.IExecutionFlowInterpreter;
-import org.yakindu.sct.model.sexec.interpreter.IStatementInterpreter;
-import org.yakindu.sct.model.sexec.interpreter.ITimingService;
-import org.yakindu.sct.model.sgraph.Declaration;
-import org.yakindu.sct.model.sgraph.Scope;
-import org.yakindu.sct.model.sgraph.Statement;
-import org.yakindu.sct.model.stext.naming.StextNameProvider;
-import org.yakindu.sct.model.stext.stext.EventDefinition;
-import org.yakindu.sct.model.stext.stext.InterfaceScope;
-import org.yakindu.sct.model.stext.stext.InternalScope;
-import org.yakindu.sct.model.stext.stext.VariableDefinition;
-import org.yakindu.sct.simulation.core.runtime.AbstractExecutionFacade;
-import org.yakindu.sct.simulation.core.runtime.ExecutionException;
-import org.yakindu.sct.simulation.core.runtime.IExecutionContext;
-import org.yakindu.sct.simulation.core.runtime.impl.ExecutionEvent;
-import org.yakindu.sct.simulation.core.runtime.impl.ExecutionVariable;
-
-@SuppressWarnings("all")
-public class ExecutionFlowInterpreter extends AbstractExecutionFacade implements IExecutionFlowInterpreter {
-  
-  @Inject
-  private IStatementInterpreter interpreter;
-  
-  @Inject
-  private IExecutionContext executionContext;
-  
-  @Inject
-  private StextNameProvider provider;
-  
-  @Inject
-  private ITimingService timingService;
-  
-  @Inject
-  @Named("InterpreterName")
-  private String interpreterName;
-  
-  private ExecutionFlow flow;
-  
-  private int nextSVIdx;
-  
-  public void initialize(final ExecutionFlow flow) throws NumberFormatException {
-    {
-      this.flow = flow;
-      EList<Scope> _scopes = flow.getScopes();
-      for (final Scope scope : _scopes) {
-        this.declareContents(scope);
-      }
-      StateVector _stateVector = flow.getStateVector();
-      int _size = _stateVector.getSize();
-      this.executionContext.initStateConfigurationVector(_size);
-    }
-  }
-  
-  public void tearDown() {
-    this.timingService.stop();
-  }
-  
-  public String getName() {
-    return this.interpreterName;
-  }
-  
-  public IExecutionContext getExecutionContext() {
-    return this.executionContext;
-  }
-  
-  protected void _declareContents(final InternalScope scope) throws NumberFormatException {
-    EList<Declaration> _declarations = scope.getDeclarations();
-    for (final Declaration declaration : _declarations) {
-      this.addToScope(declaration);
-    }
-  }
-  
-  protected void _declareContents(final Scope scope) throws NumberFormatException {
-    EList<Declaration> _declarations = scope.getDeclarations();
-    for (final Declaration declaration : _declarations) {
-      this.addToScope(declaration);
-    }
-  }
-  
-  protected void _declareContents(final InterfaceScope scope) throws NumberFormatException {
-    EList<Declaration> _declarations = scope.getDeclarations();
-    for (final Declaration declaration : _declarations) {
-      this.addToScope(declaration);
-    }
-  }
-  
-  public void runCycle() throws ExecutionException {
-    {
-      this.nextSVIdx = 0;
-      ExecutionState[] _stateConfiguration = this.executionContext.getStateConfiguration();
-      int _size = ((List<ExecutionState>)Conversions.doWrapArray(_stateConfiguration)).size();
-      boolean _operator_lessThan = ComparableExtensions.<Integer>operator_lessThan(((Integer)this.nextSVIdx), ((Integer)_size));
-      Boolean _xwhileexpression = _operator_lessThan;
-      while (_xwhileexpression) {
-        {
-          ExecutionState[] _stateConfiguration_1 = this.executionContext.getStateConfiguration();
-          ExecutionState _get = ((List<ExecutionState>)Conversions.doWrapArray(_stateConfiguration_1)).get(this.nextSVIdx);
-          ExecutionState state = _get;
-          boolean _operator_notEquals = ObjectExtensions.operator_notEquals(state, null);
-          if (_operator_notEquals) {
-            Sequence _reactSequence = state.getReactSequence();
-            this.execute(_reactSequence);
-          }
-          int _operator_plus = IntegerExtensions.operator_plus(((Integer)this.nextSVIdx), ((Integer)1));
-          this.nextSVIdx = _operator_plus;
-        }
-        ExecutionState[] _stateConfiguration_2 = this.executionContext.getStateConfiguration();
-        int _size_1 = ((List<ExecutionState>)Conversions.doWrapArray(_stateConfiguration_2)).size();
-        boolean _operator_lessThan_1 = ComparableExtensions.<Integer>operator_lessThan(((Integer)this.nextSVIdx), ((Integer)_size_1));
-        _xwhileexpression = _operator_lessThan_1;
-      }
-      this.executionContext.resetRaisedEvents();
-    }
-  }
-  
-  public boolean isBoolean(final Type type) {
-    boolean _operator_and = false;
-    boolean _operator_notEquals = ObjectExtensions.operator_notEquals(type, null);
-    if (!_operator_notEquals) {
-      _operator_and = false;
-    } else {
-      String _name = type.getName();
-      boolean _operator_equals = ObjectExtensions.operator_equals(_name, "boolean");
-      _operator_and = BooleanExtensions.operator_and(_operator_notEquals, _operator_equals);
-    }
-    return _operator_and;
-  }
-  
-  public boolean isInteger(final Type type) {
-    boolean _operator_and = false;
-    boolean _operator_notEquals = ObjectExtensions.operator_notEquals(type, null);
-    if (!_operator_notEquals) {
-      _operator_and = false;
-    } else {
-      String _name = type.getName();
-      boolean _operator_equals = ObjectExtensions.operator_equals(_name, "integer");
-      _operator_and = BooleanExtensions.operator_and(_operator_notEquals, _operator_equals);
-    }
-    return _operator_and;
-  }
-  
-  public boolean isReal(final Type type) {
-    boolean _operator_and = false;
-    boolean _operator_notEquals = ObjectExtensions.operator_notEquals(type, null);
-    if (!_operator_notEquals) {
-      _operator_and = false;
-    } else {
-      String _name = type.getName();
-      boolean _operator_equals = ObjectExtensions.operator_equals(_name, "real");
-      _operator_and = BooleanExtensions.operator_and(_operator_notEquals, _operator_equals);
-    }
-    return _operator_and;
-  }
-  
-  public boolean isVoid(final Type type) {
-    boolean _operator_or = false;
-    boolean _operator_equals = ObjectExtensions.operator_equals(type, null);
-    if (_operator_equals) {
-      _operator_or = true;
-    } else {
-      String _name = type.getName();
-      boolean _operator_equals_1 = ObjectExtensions.operator_equals(_name, "void");
-      _operator_or = BooleanExtensions.operator_or(_operator_equals, _operator_equals_1);
-    }
-    return _operator_or;
-  }
-  
-  protected Object _addToScope(final VariableDefinition variable) throws NumberFormatException {
-    Object _xblockexpression = null;
-    {
-      QualifiedName _qualifiedName = this.provider.qualifiedName(variable);
-      String _string = _qualifiedName.toString();
-      String fqName = _string;
-      Type _type = variable.getType();
-      boolean _isBoolean = this.isBoolean(_type);
-      if (_isBoolean) {
-        ExecutionVariable _executionVariable = new ExecutionVariable(fqName, java.lang.Boolean.class, ((Boolean)false));
-        this.executionContext.declareVariable(_executionVariable);
-      } else {
-        Type _type_1 = variable.getType();
-        boolean _isInteger = this.isInteger(_type_1);
-        if (_isInteger) {
-          ExecutionVariable _executionVariable_1 = new ExecutionVariable(fqName, java.lang.Integer.class, ((Integer)0));
-          this.executionContext.declareVariable(_executionVariable_1);
-        } else {
-          Type _type_2 = variable.getType();
-          boolean _isReal = this.isReal(_type_2);
-          if (_isReal) {
-            float _parseFloat = Float.parseFloat("0.0");
-            ExecutionVariable _executionVariable_2 = new ExecutionVariable(fqName, java.lang.Float.class, ((Float)_parseFloat));
-            this.executionContext.declareVariable(_executionVariable_2);
-          }
-        }
-      }
-      _xblockexpression = (null);
-    }
-    return _xblockexpression;
-  }
-  
-  protected Object _addToScope(final EventDefinition event) {
-    Object _xblockexpression = null;
-    {
-      QualifiedName _qualifiedName = this.provider.qualifiedName(event);
-      String _string = _qualifiedName.toString();
-      String fqName = _string;
-      Type _type = event.getType();
-      boolean _isBoolean = this.isBoolean(_type);
-      if (_isBoolean) {
-        ExecutionEvent _executionEvent = new ExecutionEvent(fqName, java.lang.Boolean.class, null);
-        this.executionContext.declareEvent(_executionEvent);
-      } else {
-        Type _type_1 = event.getType();
-        boolean _isInteger = this.isInteger(_type_1);
-        if (_isInteger) {
-          ExecutionEvent _executionEvent_1 = new ExecutionEvent(fqName, java.lang.Integer.class, null);
-          this.executionContext.declareEvent(_executionEvent_1);
-        } else {
-          Type _type_2 = event.getType();
-          boolean _isReal = this.isReal(_type_2);
-          if (_isReal) {
-            ExecutionEvent _executionEvent_2 = new ExecutionEvent(fqName, java.lang.Float.class, null);
-            this.executionContext.declareEvent(_executionEvent_2);
-          } else {
-            Type _type_3 = event.getType();
-            boolean _isVoid = this.isVoid(_type_3);
-            if (_isVoid) {
-              ExecutionEvent _executionEvent_3 = new ExecutionEvent(fqName, java.lang.Void.class);
-              this.executionContext.declareEvent(_executionEvent_3);
-            }
-          }
-        }
-      }
-      _xblockexpression = (null);
-    }
-    return _xblockexpression;
-  }
-  
-  protected Object _addToScope(final TimeEvent event) {
-    Object _xblockexpression = null;
-    {
-      String _name = event.getName();
-      ExecutionEvent _executionEvent = new ExecutionEvent(_name, java.lang.Long.class);
-      this.executionContext.declareEvent(_executionEvent);
-      _xblockexpression = (null);
-    }
-    return _xblockexpression;
-  }
-  
-  public void enter() throws ExecutionException {
-    Sequence _enterSequence = this.flow.getEnterSequence();
-    EList<Step> _steps = _enterSequence.getSteps();
-    for (final Step step : _steps) {
-      this.execute(step);
-    }
-  }
-  
-  protected Object _execute(final Step step) {
-    String _operator_plus = StringExtensions.operator_plus("Missing dispatch function for ", step);
-    String _println = InputOutput.<String>println(_operator_plus);
-    return _println;
-  }
-  
-  protected Object _execute(final Call call) throws ExecutionException {
-    Object _xblockexpression = null;
-    {
-      Step _step = call.getStep();
-      this.execute(_step);
-      _xblockexpression = (null);
-    }
-    return _xblockexpression;
-  }
-  
-  protected Object _execute(final Trace trace) {
-    Object _xblockexpression = null;
-    {
-      this.notifyTraceStepEntered(trace);
-      _xblockexpression = (null);
-    }
-    return _xblockexpression;
-  }
-  
-  protected Object _execute(final Check check) throws ExecutionException {
-    {
-      Statement _condition = check.getCondition();
-      boolean _operator_equals = ObjectExtensions.operator_equals(_condition, null);
-      if (_operator_equals) {
-        return ((Boolean)true);
-      }
-      Statement _condition_1 = check.getCondition();
-      Object _evaluateStatement = this.interpreter.evaluateStatement(_condition_1, this.executionContext);
-      Object interpreterResult = _evaluateStatement;
-      return interpreterResult;
-    }
-  }
-  
-  protected Object _execute(final EnterState enterState) {
-    Object _xblockexpression = null;
-    {
-      ExecutionState[] _stateConfiguration = this.executionContext.getStateConfiguration();
-      ExecutionState _state = enterState.getState();
-      StateVector _stateVector = _state.getStateVector();
-      int _offset = _stateVector.getOffset();
-      ExecutionState _state_1 = enterState.getState();
-      ((List<ExecutionState>)Conversions.doWrapArray(_stateConfiguration)).set(_offset, _state_1);
-      ExecutionState _state_2 = enterState.getState();
-      StateVector _stateVector_1 = _state_2.getStateVector();
-      int _offset_1 = _stateVector_1.getOffset();
-      this.nextSVIdx = _offset_1;
-      ExecutionState _state_3 = enterState.getState();
-      String _simpleName = _state_3.getSimpleName();
-      String _operator_plus = StringExtensions.operator_plus("enter ", _simpleName);
-      String _operator_plus_1 = StringExtensions.operator_plus(_operator_plus, " > ");
-      ExecutionState[] _stateConfiguration_1 = this.executionContext.getStateConfiguration();
-      final Function2<String,ExecutionState,String> _function = new Function2<String,ExecutionState,String>() {
-          public String apply(final String m , final ExecutionState s) {
-            String _xifexpression = null;
-            boolean _operator_equals = ObjectExtensions.operator_equals(s, null);
-            if (_operator_equals) {
-              _xifexpression = " _";
-            } else {
-              String _simpleName_1 = s.getSimpleName();
-              String _operator_plus_2 = StringExtensions.operator_plus(" ", _simpleName_1);
-              _xifexpression = _operator_plus_2;
-            }
-            String _operator_plus_3 = StringExtensions.operator_plus(m, _xifexpression);
-            return _operator_plus_3;
-          }
-        };
-      String _fold = IterableExtensions.<ExecutionState, String>fold(((Iterable<ExecutionState>)Conversions.doWrapArray(_stateConfiguration_1)), "scv: ", _function);
-      String _operator_plus_4 = StringExtensions.operator_plus(_operator_plus_1, _fold);
-      System.out.println(_operator_plus_4);
-      _xblockexpression = (null);
-    }
-    return _xblockexpression;
-  }
-  
-  protected Object _execute(final Execution execution) throws ExecutionException {
-    Statement _statement = execution.getStatement();
-    Object _evaluateStatement = this.interpreter.evaluateStatement(_statement, this.executionContext);
-    return _evaluateStatement;
-  }
-  
-  protected Object _execute(final ExitState exitState) {
-    Object _xblockexpression = null;
-    {
-      ExecutionState[] _stateConfiguration = this.executionContext.getStateConfiguration();
-      ExecutionState _state = exitState.getState();
-      StateVector _stateVector = _state.getStateVector();
-      int _offset = _stateVector.getOffset();
-      ((List<ExecutionState>)Conversions.doWrapArray(_stateConfiguration)).set(_offset, null);
-      ExecutionState _state_1 = exitState.getState();
-      String _simpleName = _state_1.getSimpleName();
-      String _operator_plus = StringExtensions.operator_plus("exit ", _simpleName);
-      String _operator_plus_1 = StringExtensions.operator_plus(_operator_plus, " > ");
-      ExecutionState[] _stateConfiguration_1 = this.executionContext.getStateConfiguration();
-      final Function2<String,ExecutionState,String> _function = new Function2<String,ExecutionState,String>() {
-          public String apply(final String m , final ExecutionState s) {
-            String _xifexpression = null;
-            boolean _operator_equals = ObjectExtensions.operator_equals(s, null);
-            if (_operator_equals) {
-              _xifexpression = " _";
-            } else {
-              String _simpleName_1 = s.getSimpleName();
-              String _operator_plus_2 = StringExtensions.operator_plus(" ", _simpleName_1);
-              _xifexpression = _operator_plus_2;
-            }
-            String _operator_plus_3 = StringExtensions.operator_plus(m, _xifexpression);
-            return _operator_plus_3;
-          }
-        };
-      String _fold = IterableExtensions.<ExecutionState, String>fold(((Iterable<ExecutionState>)Conversions.doWrapArray(_stateConfiguration_1)), "scv: ", _function);
-      String _operator_plus_4 = StringExtensions.operator_plus(_operator_plus_1, _fold);
-      System.out.println(_operator_plus_4);
-      _xblockexpression = (null);
-    }
-    return _xblockexpression;
-  }
-  
-  protected Object _execute(final If ifStep) throws ExecutionException {
-    Object _xblockexpression = null;
-    {
-      Check _check = ifStep.getCheck();
-      Object _execute = this.execute(_check);
-      Object check = _execute;
-      if (((Boolean) check)) {
-        Step _thenStep = ifStep.getThenStep();
-        this.execute(_thenStep);
-      } else {
-        Step _elseStep = ifStep.getElseStep();
-        boolean _operator_notEquals = ObjectExtensions.operator_notEquals(_elseStep, null);
-        if (_operator_notEquals) {
-          Step _elseStep_1 = ifStep.getElseStep();
-          this.execute(_elseStep_1);
-        }
-      }
-      _xblockexpression = (null);
-    }
-    return _xblockexpression;
-  }
-  
-  protected Object _execute(final Sequence sequence) throws ExecutionException {
-    Object _xblockexpression = null;
-    {
-      EList<Step> _steps = sequence.getSteps();
-      for (final Step step : _steps) {
-        this.execute(step);
-      }
-      _xblockexpression = (null);
-    }
-    return _xblockexpression;
-  }
-  
-  protected Object _execute(final StateSwitch stateSwitch) throws ExecutionException {
-    Object _xblockexpression = null;
-    {
-      EList<StateCase> _cases = stateSwitch.getCases();
-      for (final StateCase stateCase : _cases) {
-        this.execute(stateCase);
-      }
-      _xblockexpression = (null);
-    }
-    return _xblockexpression;
-  }
-  
-  protected Object _execute(final StateCase stateCase) throws ExecutionException {
-    Object _xblockexpression = null;
-    {
-      ExecutionState[] _stateConfiguration = this.executionContext.getStateConfiguration();
-      ExecutionState _state = stateCase.getState();
-      boolean _contains = ((List<ExecutionState>)Conversions.doWrapArray(_stateConfiguration)).contains(_state);
-      if (_contains) {
-        Step _step = stateCase.getStep();
-        this.execute(_step);
-      }
-      _xblockexpression = (null);
-    }
-    return _xblockexpression;
-  }
-  
-  protected Object _execute(final ScheduleTimeEvent scheduleTimeEvent) throws ExecutionException {
-    Object _xblockexpression = null;
-    {
-      TimeEvent _timeEvent = scheduleTimeEvent.getTimeEvent();
-      TimeEvent timeEvent = _timeEvent;
-      Statement _timeValue = scheduleTimeEvent.getTimeValue();
-      Object _evaluateStatement = this.interpreter.evaluateStatement(_timeValue, this.executionContext);
-      Object duration = _evaluateStatement;
-      String _name = timeEvent.getName();
-      boolean _isPeriodic = timeEvent.isPeriodic();
-      this.timingService.scheduleTimeEvent(this.executionContext, _name, _isPeriodic, ((Integer) duration));
-      _xblockexpression = (null);
-    }
-    return _xblockexpression;
-  }
-  
-  protected Object _execute(final UnscheduleTimeEvent timeEvent) {
-    Object _xblockexpression = null;
-    {
-      TimeEvent _timeEvent = timeEvent.getTimeEvent();
-      String _name = _timeEvent.getName();
-      this.timingService.unscheduleTimeEvent(_name);
-      _xblockexpression = (null);
-    }
-    return _xblockexpression;
-  }
-  
-  public void declareContents(final Scope scope) throws NumberFormatException {
-    if ((scope instanceof InterfaceScope)) {
-      _declareContents((InterfaceScope)scope);
-    } else if ((scope instanceof InternalScope)) {
-      _declareContents((InternalScope)scope);
-    } else if ((scope instanceof Scope)) {
-      _declareContents((Scope)scope);
-    } else {
-      throw new IllegalArgumentException("Unhandled parameter types: " +
-        java.util.Arrays.<Object>asList(scope).toString());
-    }
-  }
-  
-  public Object addToScope(final Declaration event) throws NumberFormatException {
-    if ((event instanceof TimeEvent)) {
-      return _addToScope((TimeEvent)event);
-    } else if ((event instanceof EventDefinition)) {
-      return _addToScope((EventDefinition)event);
-    } else if ((event instanceof VariableDefinition)) {
-      return _addToScope((VariableDefinition)event);
-    } else {
-      throw new IllegalArgumentException("Unhandled parameter types: " +
-        java.util.Arrays.<Object>asList(event).toString());
-    }
-  }
-  
-  public Object execute(final EObject call) throws ExecutionException {
-    if ((call instanceof Call)) {
-      return _execute((Call)call);
-    } else if ((call instanceof Check)) {
-      return _execute((Check)call);
-    } else if ((call instanceof EnterState)) {
-      return _execute((EnterState)call);
-    } else if ((call instanceof Execution)) {
-      return _execute((Execution)call);
-    } else if ((call instanceof ExitState)) {
-      return _execute((ExitState)call);
-    } else if ((call instanceof If)) {
-      return _execute((If)call);
-    } else if ((call instanceof ScheduleTimeEvent)) {
-      return _execute((ScheduleTimeEvent)call);
-    } else if ((call instanceof Sequence)) {
-      return _execute((Sequence)call);
-    } else if ((call instanceof StateSwitch)) {
-      return _execute((StateSwitch)call);
-    } else if ((call instanceof Trace)) {
-      return _execute((Trace)call);
-    } else if ((call instanceof UnscheduleTimeEvent)) {
-      return _execute((UnscheduleTimeEvent)call);
-    } else if ((call instanceof Step)) {
-      return _execute((Step)call);
-    } else if ((call instanceof StateCase)) {
-      return _execute((StateCase)call);
-    } else {
-      throw new IllegalArgumentException("Unhandled parameter types: " +
-        java.util.Arrays.<Object>asList(call).toString());
-    }
-  }
-}