Package de.tudresden.inf.lat.tabulas.extension

Class DefaultExtension

java.lang.Object

de.tudresden.inf.lat.tabulas.extension.DefaultExtension

All Implemented Interfaces:

Extension, Serializable, scala.Equals, scala.Product

public class DefaultExtension
extends Object
implements Extension, scala.Product, Serializable

Default extension. It reads and writes using the default format.

See Also:

Serialized Form

Constructor Summary

Constructors

Constructor	Description
DefaultExtension()

Method Summary

Modifier and Type	Method	Description
String	getExtensionName()	Returns a name for this extension.
String	getHelp()	Returns a human-readable help of what this extension does.
int	getRequiredArguments()	Returns the number of required arguments.
String	Help()
String	Name()
String	OptionNoMeta()
scala.util.Try<Object>	process(scala.collection.immutable.Seq<String> arguments)	Executes an extension.
int	RequiredArguments()

Methods inherited from class java.lang.Object

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

Methods inherited from interface scala.Equals

canEqual, equals

Methods inherited from interface scala.Product

productArity, productElement, productElementName, productElementNames, productIterator, productPrefix

Constructor Detail

DefaultExtension

public DefaultExtension()

Method Detail

Name

public final String Name()

OptionNoMeta

public final String OptionNoMeta()

Help

public final String Help()

RequiredArguments

public final int RequiredArguments()

process

public scala.util.Try<Object> process(scala.collection.immutable.Seq<String> arguments)

Description copied from interface: Extension

Executes an extension.

Specified by:

process in interface Extension

Parameters:

arguments - arguments

Returns:

true if the extension was successfully executed

getExtensionName

public String getExtensionName()

Description copied from interface: Extension

Returns a name for this extension.

Specified by:

getExtensionName in interface Extension

Returns:

a name for this extension

getHelp

public String getHelp()

Description copied from interface: Extension

Returns a human-readable help of what this extension does.

Specified by:

getHelp in interface Extension

Returns:

a human-readable help of what this extension does

getRequiredArguments

public int getRequiredArguments()

Description copied from interface: Extension

Returns the number of required arguments.

Specified by:

getRequiredArguments in interface Extension

Returns:

the number of required arguments