Java Environment Exemples

Exemple #1

Fichier : MinePump.java Projet : staticafi/sv-benchmarks

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

Exemple #2

Fichier : MinePump.java Projet : staticafi/sv-benchmarks

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

Exemple #3

Fichier : MinePump.java Projet : staticafi/sv-benchmarks

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

Exemple #4

Fichier : MinePump.java Projet : lgpbentes/sv-benchmarks

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