gui.wrapperobjects

Class TypeFileWrapper

java.lang.Object

gui.wrapperobjects.TypeFileWrapper

All Implemented Interfaces:

TreeElement

public class TypeFileWrapper
extends java.lang.Object
implements TreeElement

A Wrapperclass for TypeFile.

Author:

Phil

Field Summary

Fields

Modifier and Type	Field and Description
private TypeFile	typeFile the typeFile.

Constructor Summary

Constructors

Constructor and Description
TypeFileWrapper(TypeFile typeFile) Constructor for TypeFileWrapper.

Method Summary

Modifier and Type	Method and Description
void	accept(TreeElementVisitor vis) Accepts a TreeElementVisitor.
TypeFile	getTypeFile()
java.lang.String	toString()

Methods inherited from class java.lang.Object

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

Field Detail

typeFile

private final TypeFile typeFile

the typeFile.

Constructor Detail

TypeFileWrapper

public TypeFileWrapper(TypeFile typeFile)

Constructor for TypeFileWrapper.

Parameters:

typeFile - The typeFile to wrap.

Method Detail

getTypeFile

public TypeFile getTypeFile()

Returns:

the typeFile

toString

public java.lang.String toString()

Specified by:

toString in interface TreeElement

Overrides:

toString in class java.lang.Object

Returns:

a string representation of the element.

accept

public void accept(TreeElementVisitor vis)

Description copied from interface: TreeElement

Accepts a TreeElementVisitor.

Specified by:

accept in interface TreeElement

Parameters:

vis - the visitor.