gui.wrapperobjects

Class DefinitionFileWrapper

java.lang.Object

gui.wrapperobjects.DefinitionFileWrapper

All Implemented Interfaces:

TreeElement

public class DefinitionFileWrapper
extends java.lang.Object
implements TreeElement

A Wrapperclass for DefinitionFile.

Author:

Phil

Field Summary

Fields

Modifier and Type	Field and Description
private DefinitionFile	defFile the defFile.

Constructor Summary

Constructors

Constructor and Description
DefinitionFileWrapper(DefinitionFile defFile) Constructor for DefinitionFileWrapper.

Method Summary

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

Methods inherited from class java.lang.Object

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

Field Detail

defFile

private final DefinitionFile defFile

the defFile.

Constructor Detail

DefinitionFileWrapper

public DefinitionFileWrapper(DefinitionFile defFile)

Constructor for DefinitionFileWrapper.

Parameters:

defFile - The defFile to wrap.

Method Detail

getDefFile

public DefinitionFile getDefFile()

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.