Java Environment Beispiele

Beispiel #1

Datei: MinePump.java Projekt: staticafi/sv-benchmarks

 @Override
 public String toString() {
   return "Pump(System:"
       + (systemActive ? "On" : "Off")
       + ",Pump:"
       + (pumpRunning ? "On" : "Off")
       + ") "
       + env.toString();
 }

Beispiel #2

Datei: MinePump.java Projekt: staticafi/sv-benchmarks

 public void timeShift() {
   if (pumpRunning) env.lowerWaterLevel();
   if (systemActive) processEnvironment();
 }

Beispiel #3

Datei: MinePump.java Projekt: staticafi/sv-benchmarks

 boolean isMethaneAlarm() {
   return env.isMethaneLevelCritical();
 }

Beispiel #4

Datei: MinePump.java Projekt: lgpbentes/sv-benchmarks

 boolean isLowWaterLevel() {
   return !env.isLowWaterSensorDry();
 }