fr.lip6.move.pnml.framework.general

Class CustomPNMLFileType

java.lang.Object

fr.lip6.move.pnml.framework.general.CustomPNMLFileType

All Implemented Interfaces:

PNMLFileType

public class CustomPNMLFileType
extends Object
implements PNMLFileType

This implementation of PNMLFileType contains an imported custom type.

Author:

Guillaume Giffo

Constructor Summary

Constructors

Constructor and Description
CustomPNMLFileType(String theTypeName, String theClassName, String theNamespace, String theRngUrl, String theFallback)

Method Summary

Modifier and Type	Method and Description
String	getClassName()
String	getFallBackClassName()
String	getNamespace()
String	getRngUrl()
String	getTypeName()

Methods inherited from class java.lang.Object

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

Constructor Detail

CustomPNMLFileType

public CustomPNMLFileType(String theTypeName,
                          String theClassName,
                          String theNamespace,
                          String theRngUrl,
                          String theFallback)

Parameters:

theTypeName - the string of the net type name

theClassName - the string of the class name.

theNamespace - the string of the namespace.

theRngUrl - the url to the associated rng file.

theFallback - the name of the fall back class

Method Detail

getTypeName

public final String getTypeName()

Specified by:

getTypeName in interface PNMLFileType

Returns:

the type name

getClassName

public final String getClassName()

Specified by:

getClassName in interface PNMLFileType

Returns:

the className

getNamespace

public final String getNamespace()

Specified by:

getNamespace in interface PNMLFileType

Returns:

the namespace

getRngUrl

public final String getRngUrl()

Specified by:

getRngUrl in interface PNMLFileType

Returns:

the rng file Url

getFallBackClassName

public final String getFallBackClassName()

Specified by:

getFallBackClassName in interface PNMLFileType

Returns:

the name of the fall back class