nz.ac.waikato.modeljunit.examples.gsm
Class File

java.lang.Object
  nz.ac.waikato.modeljunit.examples.gsm.File

public class File
extends java.lang.Object

Field Summary

java.lang.String	data
SimCard.F_Name	name
File	parent
SimCard.Permission	perm_read
SimCard.File_Type	type

Constructor Summary

File(SimCard.File_Type type0, SimCard.F_Name name0, java.lang.String data0, SimCard.Permission perm0, File parent0)

Method Summary

Methods inherited from class java.lang.Object

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

Field Detail

type

public SimCard.File_Type type

name

public SimCard.F_Name name

data

public java.lang.String data

perm_read

public SimCard.Permission perm_read

parent

public File parent

Constructor Detail

File

public File(SimCard.File_Type type0,
            SimCard.F_Name name0,
            java.lang.String data0,
            SimCard.Permission perm0,
            File parent0)