private String name
private List contacts
private List phoneNumbers
+ private String temperatureScale
def sendEvent
-
+
private Phrase helloHome
LocationVar(Closure sendEvent) {
this.sendEvent = sendEvent
this.timeZone = TimeZone.getTimeZone("America/New_York")
this.name = "hub0"
+ this.temperatureScale = "F"
}
//By Model Checker