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

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

public class User
extends java.lang.Object

Field Summary

java.lang.String	name
java.lang.String	password
java.util.Set<java.lang.String>	tickets

Method Summary

Methods inherited from class java.lang.Object

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

Field Detail

name

public java.lang.String name

password

public java.lang.String password

tickets

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