CTL.Types
Class Node

java.lang.Object
  CTL.Types.Tupel
      CTL.Types.Node

All Implemented Interfaces:

Writable, TemplHack

public class Node
extends Tupel

Element of CTL graph

Field Summary

private static TypeTree[]

types Type parameters of the underlying Tupel

Fields inherited from class CTL.Types.Tupel

data, type

Constructor Summary

Node(java.lang.String name, int cost)
Generate a new Node

Method Summary

int	cost() Retrieve the cost of this Node
java.lang.String	name() Retrieve the name of this Node
void	read(OIStream in) Serial read function
void	setTypes(TypeTree[] t) This method just sets the statically defined 'types' array to this objects 'type' attribute, as defined in Tupel.
java.lang.String	toString() Retrieve a String representation of this object

Methods inherited from class CTL.Types.Tupel

equals, insert, item, length, read, setItem, type, write

Methods inherited from class java.lang.Object

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

Field Detail

types

private static TypeTree[] types

Type parameters of the underlying Tupel

Constructor Detail

Node

public Node(java.lang.String name,
            int cost)
     throws CTLException,
            java.lang.ClassNotFoundException

Generate a new Node

Parameters:

name - Name

cost - Cost to reach this node

Throws:

CTLException

java.lang.ClassNotFoundException

Method Detail

setTypes

public void setTypes(TypeTree[] t)

This method just sets the statically defined 'types' array to this objects 'type' attribute, as defined in Tupel.

Specified by:

setTypes in interface TemplHack

Overrides:

setTypes in class Tupel

Parameters:

t - Dummy argument to satify the TemplHack interface used by Tupel.

name

public java.lang.String name()

Retrieve the name of this Node

Returns:

String

cost

public int cost()

Retrieve the cost of this Node

Returns:

Cost

toString

public java.lang.String toString()

Retrieve a String representation of this object

Overrides:

toString in class Tupel

Returns:

String

read

public void read(OIStream in)
          throws java.io.IOException,
                 java.lang.ClassNotFoundException,
                 java.lang.InstantiationException,
                 java.lang.IllegalAccessException,
                 java.lang.reflect.InvocationTargetException

Serial read function

Parameters:

in - Input stream

Throws:

java.io.IOException

java.lang.ClassNotFoundException

java.lang.InstantiationException

java.lang.IllegalAccessException

java.lang.reflect.InvocationTargetException