Trull

Constant Field Values


Contents
edu.luc.*

edu.luc.cs.trull.Control
private static final int RUNNING 2
private static final int STOPPED 1
private static final int TIMEOUT 4

edu.luc.cs.trull.EmitComponent
private static final int FINISHED 4
private static final int RUNNING 1
private static final int SUSPENDED 2

edu.luc.cs.trull.demo.AssertViolationListener
private static final int HISTORY_LIMIT 10

edu.luc.cs.trull.demo.Clock
public static final int DELAY 1000
public static final java.lang.String TICK "TICK"

edu.luc.cs.trull.demo.battleship.edu.luc.cs.trull.demo.battleship.EventLabels
public static final java.lang.String HIT "Hit"
public static final java.lang.String PLACE "Place"
public static final java.lang.String SHOT "Shot"
public static final java.lang.String SUNK "Sunk"

edu.luc.cs.trull.demo.counter.CompositeCounter
final java.lang.String CARRY "Carry"

edu.luc.cs.trull.demo.counter.EventLabels
public static final java.lang.String DOWN "DOWN"
public static final java.lang.String OUCH "OUCH"
public static final java.lang.String OVERFLOW "OVERFLOW"
public static final java.lang.String PRESSED "PRESSED"
public static final java.lang.String RESET "RESET"
public static final java.lang.String TICK "TICK"
public static final java.lang.String UP "UP"

edu.luc.cs.trull.demo.helloworld.EventLabels
public static final java.lang.String HALLO "Hallo"
public static final java.lang.String HELLO "Hello"
public static final java.lang.String HOLA "Hola"
public static final java.lang.String MUNDO "Mundo"
public static final java.lang.String WELT "Welt"
public static final java.lang.String WORLD "World"

edu.luc.cs.trull.demo.microwave.EventLabels
public static final java.lang.String BEEP "Beep"
public static final java.lang.String CLOSE "Close"
public static final java.lang.String FINISH "Finish"
public static final java.lang.String HEATMODE "HeatMode"
public static final java.lang.String HEATOFF "HeatOff"
public static final java.lang.String HEATON "HeatOn"
public static final java.lang.String HIGH "High"
public static final java.lang.String LIGHTOFF "LightOff"
public static final java.lang.String LIGHTON "LightOn"
public static final java.lang.String LOW "Low"
public static final java.lang.String MEDIUM "Medium"
public static final java.lang.String OFF "Off"
public static final java.lang.String ONEMIN "OneMin"
public static final java.lang.String ONESEC "OneSec"
public static final java.lang.String OPEN "Open"
public static final java.lang.String POWER "Power"
public static final java.lang.String RESET "Reset"
public static final java.lang.String RUN "Run"
public static final java.lang.String START "Start"
public static final java.lang.String STOP "Stop"
public static final java.lang.String TENMIN "TenMin"
public static final java.lang.String TENSEC "TenSec"
public static final java.lang.String TICK "Tick"
public static final java.lang.String TIME "Time"
public static final java.lang.String TIMER "Timer"
public static final java.lang.String TIMERMODE "TimerMode"

edu.luc.cs.trull.demo.microwave.edu.luc.cs.trull.demo.microwave.TimerController
private static final java.lang.String DONE "Done"

edu.luc.cs.trull.demo.office.EventLabels
public static final java.lang.String AWAKE "Awake"
public static final java.lang.String DOORCLOSE "DoorClose"
public static final java.lang.String DOOROPEN "DoorOpen"
public static final java.lang.String ECONOMYMODE "EconomyMode"
public static final java.lang.String HEATOFF "HeatOff"
public static final java.lang.String HEATON "HeatOn"
public static final java.lang.String LIGHTOFF "LightOff"
public static final java.lang.String LIGHTON "LightOn"
public static final java.lang.String OCCUPANTMODE "OccupantMode"
public static final java.lang.String REQUESTTEMP "RequestTemp"
public static final java.lang.String SETTEMP "SetTemp"
public static final java.lang.String SLEEP "Sleep"
public static final java.lang.String SWITCHOFF "SwitchOff"
public static final java.lang.String SWITCHON "SwitchOn"
public static final java.lang.String TEMP "Temp"

edu.luc.cs.trull.demo.office.Temp
public static final int INITIAL_ACTUAL_TEMP 20
public static final int INITIAL_ECONOMY_TEMP 16
public static final int INITIAL_TARGET_TEMP 20
public static final int MAX_TEMP 40
public static final int MIN_TEMP 0

edu.luc.cs.trull.demo.rmi.edu.luc.cs.trull.demo.rmi.EventLabels
public static final java.lang.String CHECK "Check"
public static final java.lang.String DOH "Doh"
public static final java.lang.String PRESS "Press"
public static final java.lang.String RESPONSE "Response"

edu.luc.cs.trull.demo.stopwatch.Translation
private final int RUN_LAPTIME_STATE 2
private final int RUN_RUNTIME_STATE 1
private final int STOP_LAPTIME_STATE 3
private final int STOP_RUNTIME_STATE 0

edu.luc.cs.trull.demo.task.ComplexDemo
static final int INC 50000
static final int MAX 5000000
static final int TASKS 9

edu.luc.cs.trull.demo.task.EventLabels
public static final java.lang.String PROGRESS "Progress"
public static final java.lang.String RESUME "Resume"
public static final java.lang.String START "Start"
public static final java.lang.String STOP "Stop"
public static final java.lang.String SUSPEND "Suspend"

edu.luc.cs.trull.demo.task.SimpleDemo
static final int INC 50000
static final int MAX 5000000

edu.luc.cs.trull.demo.task.Timer
private static final long DEFAULT_UNIT 100L

edu.luc.cs.trull.demo.task.TimerDemo
public static final java.lang.String DEFAULT_LABEL "Tick"

edu.luc.cs.trull.demo.test.ConsoleTester
public static final java.lang.String STOP "stop"

edu.luc.cs.trull.demo.tl.Main
public static final java.lang.String HELLO "Hello"
public static final java.lang.String WHATUP "WhatUp"
public static final java.lang.String WORLD "World"

edu.luc.cs.trull.demo.wristwatch.DateConstants
public static final int HOURS_PER_DAY 24
public static final int MIN_PER_HOUR 60
public static final int MONTHS_PER_YEAR 12
public static final int SEC_PER_DAY 86400
public static final int SEC_PER_HOUR 3600
public static final int SEC_PER_MIN 60
public static final int SEC_PER_TICK 1

edu.luc.cs.trull.demo.wristwatch.EventLabels
public static final java.lang.String DATE "Date"
public static final java.lang.String DAY "Day"
public static final java.lang.String HOUR "Hour"
public static final java.lang.String LAP "Lap"
public static final java.lang.String LIGHT "Light"
public static final java.lang.String LIGHT_OFF "LightOff"
public static final java.lang.String LIGHT_ON "LightOn"
public static final java.lang.String MIN "Min"
public static final java.lang.String MODE "Mode"
public static final java.lang.String MONTH "Month"
public static final java.lang.String NOW "Now"
public static final java.lang.String RESET "Reset"
public static final java.lang.String START "Start"
public static final java.lang.String STOP "Stop"
public static final java.lang.String TICK "Tick"
public static final java.lang.String TIME "Time"
public static final java.lang.String UPDATE "Update"

edu.luc.cs.trull.demo.wristwatch.Light
public static final int DELAY 3

edu.luc.cs.trull.task.edu.luc.cs.trull.task.AbstractTaskWorker
protected static final int RUNNING 2
protected static final int STOPPED 1
protected static final int SUSPENDED 3

edu.luc.cs.trull.task.DefaultTaskWorker
protected static final int RUNNING 2
protected static final int STOPPED 1
protected static final int SUSPENDED 3

edu.luc.cs.trull.translator.edu.luc.cs.trull.translator.Visitor
public static final java.lang.String ACCESS "access"
public static final java.lang.String ACT "act"
public static final java.lang.String ACTIVITY "activity"
public static final java.lang.String ACTIVITYREF "activityref"
public static final java.lang.String ALLPAST "allpast"
public static final java.lang.String AND "and"
public static final java.lang.String ASSERT "assert"
public static final java.lang.String ASSERTION "assertion"
public static final java.lang.String AWAIT "await"
public static final java.lang.String AWAITONE "awaitone"
public static final java.lang.String BACKTO "backto"
public static final java.lang.String CASE "case"
public static final java.lang.String CODE "code"
public static final java.lang.String CONTROLLABLE "controllable"
public static final java.lang.String DECLARE "declare"
public static final java.lang.String DEFAULT "default"
public static final java.lang.String DONE "done"
public static final java.lang.String EMIT "emit"
public static final java.lang.String EVENTLABEL "eventlabel"
public static final java.lang.String EVENTLABELS "eventlabels"
public static final java.lang.String EXPR "expr"
public static final java.lang.String EXPRREF "exprref"
public static final java.lang.String EXPRSREF "exprsref"
public static final java.lang.String EXTENDS "extends"
public static final java.lang.String FROM "from"
public static final java.lang.String IF "if"
public static final java.lang.String IMPLEMENTS "implements"
public static final java.lang.String IMPLIES "implies"
public static final java.lang.String IMPORT "import"
public static final java.lang.String LABEL "label"
public static final java.lang.String LEAF "leaf"
public static final java.lang.String LOCAL "local"
public static final java.lang.String LOOP "loop"
public static final java.lang.String NAME "name"
public static final java.lang.String NIL "nil"
public static final java.lang.String NOT "not"
public static final java.lang.String ONCE "once"
public static final java.lang.String ONEMIT "onemit"
public static final java.lang.String ONRESUME "onresume"
public static final java.lang.String ONSTART "onstart"
public static final java.lang.String ONSTOP "onstop"
public static final java.lang.String ONSUSPEND "onsuspend"
public static final java.lang.String OR "or"
public static final java.lang.String PACKAGE "package"
public static final java.lang.String PARALLEL "parallel"
public static final java.lang.String PARAM "param"
public static final java.lang.String PARAMS "params"
public static final java.lang.String PREDICATE "predicate"
public static final java.lang.String PREVIOUS "previous"
public static final java.lang.String RENAME "rename"
public static final java.lang.String RESUME "resume"
public static final java.lang.String RETURN "return"
public static final java.lang.String RUN "run"
public static final java.lang.String SATISFIED "satisfied"
public static final java.lang.String SEQUENCE "sequence"
public static final java.lang.String SIGNATURE "signature"
public static final java.lang.String SINCE "since"
public static final java.lang.String SUSPEND "suspend"
public static final java.lang.String SUSPENDRESUME "suspendresume"
public static final java.lang.String SWITCH "switch"
public static final java.lang.String THREADACTIVITY "threadactivity"
public static final java.lang.String TIMEOUT "timeout"
public static final java.lang.String TO "to"
public static final java.lang.String TRIVENI "triveni"
public static final java.lang.String TYPE "type"
public static final java.lang.String UPDATE "update"
public static final java.lang.String UPDATEHANDLER "updatehandler"
public static final java.lang.String VALUATOR "valuator"
public static final java.lang.String VIOLATED "violated"
public static final java.lang.String WATCHING "watching"


Trull

http://www.cs.luc.edu/trull/