|
@@ -1,5 +1,4 @@
|
|
package org.yakindu.sct.examples.trafficlight.cyclebased.trafficlightwaiting;
|
|
package org.yakindu.sct.examples.trafficlight.cyclebased.trafficlightwaiting;
|
|
-
|
|
|
|
import org.yakindu.sct.examples.trafficlight.cyclebased.IStatemachine;
|
|
import org.yakindu.sct.examples.trafficlight.cyclebased.IStatemachine;
|
|
import org.yakindu.sct.examples.trafficlight.cyclebased.ITimedStatemachine;
|
|
import org.yakindu.sct.examples.trafficlight.cyclebased.ITimedStatemachine;
|
|
|
|
|
|
@@ -9,7 +8,6 @@ public interface ITrafficLightWaitingStatemachine
|
|
IStatemachine {
|
|
IStatemachine {
|
|
|
|
|
|
public interface SCITrafficLight {
|
|
public interface SCITrafficLight {
|
|
-
|
|
|
|
public boolean getRed();
|
|
public boolean getRed();
|
|
public void setRed(boolean value);
|
|
public void setRed(boolean value);
|
|
public boolean getYellow();
|
|
public boolean getYellow();
|
|
@@ -19,8 +17,9 @@ public interface ITrafficLightWaitingStatemachine
|
|
|
|
|
|
}
|
|
}
|
|
|
|
|
|
- public interface SCIPedestrian {
|
|
|
|
|
|
+ public SCITrafficLight getSCITrafficLight();
|
|
|
|
|
|
|
|
+ public interface SCIPedestrian {
|
|
public boolean getRequest();
|
|
public boolean getRequest();
|
|
public void setRequest(boolean value);
|
|
public void setRequest(boolean value);
|
|
public boolean getRed();
|
|
public boolean getRed();
|
|
@@ -30,18 +29,14 @@ public interface ITrafficLightWaitingStatemachine
|
|
|
|
|
|
}
|
|
}
|
|
|
|
|
|
- public interface SCIDefault {
|
|
|
|
|
|
+ public SCIPedestrian getSCIPedestrian();
|
|
|
|
|
|
|
|
+ public interface SCIDefault {
|
|
public void raisePedestrianRequest();
|
|
public void raisePedestrianRequest();
|
|
-
|
|
|
|
public void raiseOnOff();
|
|
public void raiseOnOff();
|
|
|
|
|
|
}
|
|
}
|
|
|
|
|
|
- public SCITrafficLight getSCITrafficLight();
|
|
|
|
-
|
|
|
|
- public SCIPedestrian getSCIPedestrian();
|
|
|
|
-
|
|
|
|
public SCIDefault getSCIDefault();
|
|
public SCIDefault getSCIDefault();
|
|
|
|
|
|
}
|
|
}
|