Package org.svvrl.goal.cmd

Class AbstractComplementConstructionExtension

java.lang.Object

org.svvrl.goal.cmd.DefaultCommandDescriptor

org.svvrl.goal.cmd.AbstractComplementConstructionExtension

All Implemented Interfaces:

CommandConfigurator, CommandDescriptor, ComplementConstructionExtension

Direct Known Subclasses:

AbstractComplementConstructionInterface, ClassicComplementExtension, DeterministicComplementExtension, HierarchyComplementExtension, KurshanComplementExtension, ModifiedSafraComplementExtension, MullerSchuppComplementExtension, PitermanComplementExtension, ProgressMeasureComplementExtension, RamseyComplementExtension, RankComplementExtension, SafraComplementExtension, SDBWComplementExtension, SliceComplementExtension, WAAComplementExtension, WAPAComplementExtension

public abstract class AbstractComplementConstructionExtension
extends DefaultCommandDescriptor
implements ComplementConstructionExtension

This class provides a default implementation of ComplementConstructionExtension. The initial value of command name is an empty string, the initial value of the construction class is null, and the initial value of the help message is an empty string.

Author:

Ming-Hsien Tsai

Field Summary

Fields

Modifier and Type	Field	Description
protected java.lang.Class<? extends ComplementConstruction<?,?>>	cls	the class of the provided complementation construction

Constructor Summary

Constructors

Constructor	Description
AbstractComplementConstructionExtension()	Constructs this extension.

Method Summary

Modifier and Type	Method	Description
java.lang.Class<? extends ComplementConstruction<?,?>>	getConstructionClass()	Returns the class of the provided complementation construction.
void	setConstructionClass(java.lang.Class<? extends ComplementConstruction<?,?>> cls)	Sets the class of the provided complementation construction.

Methods inherited from class org.svvrl.goal.cmd.DefaultCommandDescriptor

getFullName, getHelp, getName, setFullName, setHelp, setName

Methods inherited from class java.lang.Object

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

Methods inherited from interface org.svvrl.goal.cmd.CommandConfigurator

getOptions

Methods inherited from interface org.svvrl.goal.cmd.CommandDescriptor

getFullName, getHelp, getName, setFullName, setHelp, setName

Field Details

cls

protected java.lang.Class<? extends ComplementConstruction<?,?>> cls

the class of the provided complementation construction

Constructor Details

AbstractComplementConstructionExtension

public AbstractComplementConstructionExtension()

Constructs this extension.

Method Details

getConstructionClass

public java.lang.Class<? extends ComplementConstruction<?,?>> getConstructionClass()

Description copied from interface: ComplementConstructionExtension

Returns the class of the provided complementation construction.

Specified by:

getConstructionClass in interface ComplementConstructionExtension

Returns:

the class of the provided complementation construction

setConstructionClass

public void setConstructionClass(java.lang.Class<? extends ComplementConstruction<?,?>> cls)

Description copied from interface: ComplementConstructionExtension

Sets the class of the provided complementation construction.

Specified by:

setConstructionClass in interface ComplementConstructionExtension

Parameters:

cls - the class of the provided complementation construction