org.bimserver.models.store

Interface ModelCheckerInstance

All Superinterfaces:

org.eclipse.emf.ecore.EObject, IdEObject, org.eclipse.emf.common.notify.Notifier

All Known Implementing Classes:

ModelCheckerInstanceImpl

public interface ModelCheckerInstance
extends IdEObject

A representation of the model object 'Model Checker Instance'.

The following features are supported:

• Name
• Description
• Code
• Compiled
• Valid
• Model Checker Plugin Class Name

See Also:

StorePackage.getModelCheckerInstance()

Method Summary

Modifier and Type	Method and Description
String	getCode() Returns the value of the 'Code' attribute.
byte[]	getCompiled() Returns the value of the 'Compiled' attribute.
String	getDescription() Returns the value of the 'Description' attribute.
String	getModelCheckerPluginClassName() Returns the value of the 'Model Checker Plugin Class Name' attribute.
String	getName() Returns the value of the 'Name' attribute.
boolean	isValid() Returns the value of the 'Valid' attribute.
void	setCode(String value) Sets the value of the 'Code' attribute.
void	setCompiled(byte[] value) Sets the value of the 'Compiled' attribute.
void	setDescription(String value) Sets the value of the 'Description' attribute.
void	setModelCheckerPluginClassName(String value) Sets the value of the 'Model Checker Plugin Class Name' attribute.
void	setName(String value) Sets the value of the 'Name' attribute.
void	setValid(boolean value) Sets the value of the 'Valid' attribute.

Methods inherited from interface org.bimserver.emf.IdEObject

forceLoad, getExpressId, getOid, getPid, getRid, isLoadedOrLoading, load, remove

Methods inherited from interface org.eclipse.emf.ecore.EObject

eAllContents, eClass, eContainer, eContainingFeature, eContainmentFeature, eContents, eCrossReferences, eGet, eGet, eInvoke, eIsProxy, eIsSet, eResource, eSet, eUnset

Methods inherited from interface org.eclipse.emf.common.notify.Notifier

eAdapters, eDeliver, eNotify, eSetDeliver

Method Detail

getName

String getName()

Returns the value of the 'Name' attribute.

If the meaning of the 'Name' attribute isn't clear, there really should be more of a description here...

Returns:

the value of the 'Name' attribute.

See Also:

setName(String), StorePackage.getModelCheckerInstance_Name()

setName

void setName(String value)

Sets the value of the 'Name' attribute.

Parameters:

value - the new value of the 'Name' attribute.

See Also:

getName()

getDescription

String getDescription()

Returns the value of the 'Description' attribute.

If the meaning of the 'Description' attribute isn't clear, there really should be more of a description here...

Returns:

the value of the 'Description' attribute.

See Also:

setDescription(String), StorePackage.getModelCheckerInstance_Description()

setDescription

void setDescription(String value)

Sets the value of the 'Description' attribute.

Parameters:

value - the new value of the 'Description' attribute.

See Also:

getDescription()

getCode

String getCode()

Returns the value of the 'Code' attribute.

If the meaning of the 'Code' attribute isn't clear, there really should be more of a description here...

Returns:

the value of the 'Code' attribute.

See Also:

setCode(String), StorePackage.getModelCheckerInstance_Code()

setCode

void setCode(String value)

Sets the value of the 'Code' attribute.

Parameters:

value - the new value of the 'Code' attribute.

See Also:

getCode()

getCompiled

byte[] getCompiled()

Returns the value of the 'Compiled' attribute.

If the meaning of the 'Compiled' attribute isn't clear, there really should be more of a description here...

Returns:

the value of the 'Compiled' attribute.

See Also:

setCompiled(byte[]), StorePackage.getModelCheckerInstance_Compiled()

setCompiled

void setCompiled(byte[] value)

Sets the value of the 'Compiled' attribute.

Parameters:

value - the new value of the 'Compiled' attribute.

See Also:

getCompiled()

isValid

boolean isValid()

Returns the value of the 'Valid' attribute.

If the meaning of the 'Valid' attribute isn't clear, there really should be more of a description here...

Returns:

the value of the 'Valid' attribute.

See Also:

setValid(boolean), StorePackage.getModelCheckerInstance_Valid()

setValid

void setValid(boolean value)

Sets the value of the 'Valid' attribute.

Parameters:

value - the new value of the 'Valid' attribute.

See Also:

isValid()

getModelCheckerPluginClassName

String getModelCheckerPluginClassName()

Returns the value of the 'Model Checker Plugin Class Name' attribute.

If the meaning of the 'Model Checker Plugin Class Name' attribute isn't clear, there really should be more of a description here...

Returns:

the value of the 'Model Checker Plugin Class Name' attribute.

See Also:

setModelCheckerPluginClassName(String), StorePackage.getModelCheckerInstance_ModelCheckerPluginClassName()

setModelCheckerPluginClassName

void setModelCheckerPluginClassName(String value)

Sets the value of the 'Model Checker Plugin Class Name' attribute.

Parameters:

value - the new value of the 'Model Checker Plugin Class Name' attribute.

See Also:

getModelCheckerPluginClassName()