keel.GraphInterKeel.datacf.help

Class HelpSheet

java.lang.Object

keel.GraphInterKeel.datacf.help.HelpSheet

public class HelpSheet
extends java.lang.Object

Field Summary

Fields

Modifier and Type	Field and Description
protected java.net.URL	urlAdress Current URL Adress

Constructor Summary

Constructors

Constructor and Description
HelpSheet(java.lang.String name, java.lang.String file) Constructor that initializes the sheet using a file
HelpSheet(java.lang.String nombre, java.net.URL adress) Constructor that initializes the sheet using an URL address

Method Summary

Modifier and Type	Method and Description
java.lang.String	toString() Overriding toString method to obtain a description of the class

Methods inherited from class java.lang.Object

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

Field Detail

urlAdress

protected java.net.URL urlAdress

Current URL Adress

Constructor Detail

HelpSheet

public HelpSheet(java.lang.String name,
                 java.lang.String file)

Constructor that initializes the sheet using a file

Parameters:

name - Name of the sheet

file - Name of the file to use

HelpSheet

public HelpSheet(java.lang.String nombre,
                 java.net.URL adress)

Constructor that initializes the sheet using an URL address

Parameters:

nombre - Name of the sheet

adress - URL adress

Method Detail

toString

public java.lang.String toString()

Overriding toString method to obtain a description of the class

Overrides:

toString in class java.lang.Object

Returns:

String Description of the class