nz.ac.waikato.modeljunit.examples.ecinema
Class Showtime

java.lang.Object
  nz.ac.waikato.modeljunit.examples.ecinema.Showtime

public class Showtime
extends java.lang.Object

Field Summary

boolean	buyButtonActive
boolean	clearAllButtonActive
static int	DATE_CORRECT
int	dateTime
java.lang.String	movie
java.util.Set<java.lang.String>	tickets
int	ticketsLeft

Constructor Summary

Showtime()

Method Summary

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

DATE_CORRECT

public static final int DATE_CORRECT

See Also:

Constant Field Values

dateTime

public int dateTime

buyButtonActive

public boolean buyButtonActive

clearAllButtonActive

public boolean clearAllButtonActive

movie

public java.lang.String movie

tickets

public java.util.Set<java.lang.String> tickets

ticketsLeft

public int ticketsLeft

Constructor Detail

Showtime

public Showtime()