Package cruise.umple.compiler

Class NuSMVGenerator

java.lang.Object

cruise.umple.compiler.CodeGeneratorWithSubptions

cruise.umple.compiler.NuSMVGenerator

All Implemented Interfaces:

CodeGenerator

public class NuSMVGenerator
extends CodeGeneratorWithSubptions

Constructor Summary

Constructors

Constructor	Description
NuSMVGenerator()

Method Summary

Modifier and Type	Method	Description
void	delete()
void	generate()	Allows independent code generation tools Different generators will do different things regarding where the files are put, etc.
UmpleModel	getModel()	Contains various aspects from an Umple file (.ump), such as classes, attributes, associations and methods.
java.lang.String	getOutput()
boolean	setModel(UmpleModel aModel)	Allows independent code generation tools Different generators will do different things regarding where the files are put, etc.
boolean	setOutput(java.lang.String aOutput)	Allows independent code generation tools Different generators will do different things regarding where the files are put, etc.
java.lang.String	toString()

Methods inherited from class cruise.umple.compiler.CodeGeneratorWithSubptions

addSuboption, getSuboption, getSuboptions, getSuboptionValue, hasSuboption, hasSuboptions, indexOfSuboption, numberOfSuboptions, postpare, prepare, removeSuboption, setSuboption

Methods inherited from class java.lang.Object

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

Constructor Details

NuSMVGenerator

public NuSMVGenerator()

Method Details

setModel

public boolean setModel(UmpleModel aModel)

Description copied from class: CodeGeneratorWithSubptions

Allows independent code generation tools Different generators will do different things regarding where the files are put, etc.

Specified by:

setModel in interface CodeGenerator

Overrides:

setModel in class CodeGeneratorWithSubptions

setOutput

public boolean setOutput(java.lang.String aOutput)

Description copied from class: CodeGeneratorWithSubptions

Allows independent code generation tools Different generators will do different things regarding where the files are put, etc.

Specified by:

setOutput in interface CodeGenerator

Overrides:

setOutput in class CodeGeneratorWithSubptions

getModel

public UmpleModel getModel()

Contains various aspects from an Umple file (.ump), such as classes, attributes, associations and methods. Generated output is based off of what's contained in here.

getOutput

public java.lang.String getOutput()

delete

public void delete()

Overrides:

delete in class CodeGeneratorWithSubptions

generate

public void generate()

Description copied from class: CodeGeneratorWithSubptions

Allows independent code generation tools Different generators will do different things regarding where the files are put, etc.

Specified by:

generate in interface CodeGenerator

Overrides:

generate in class CodeGeneratorWithSubptions

toString

public java.lang.String toString()

Overrides:

toString in class CodeGeneratorWithSubptions