de.cau.cs.kieler.quartz.editor.quartz.util
Class QuartzAdapterFactory

java.lang.Object
  extended by org.eclipse.emf.common.notify.impl.AdapterFactoryImpl
      extended by de.cau.cs.kieler.quartz.editor.quartz.util.QuartzAdapterFactory
All Implemented Interfaces:
AdapterFactory

public class QuartzAdapterFactory
extends AdapterFactoryImpl

The Adapter Factory for the model. It provides an adapter createXXX method for each class of the model.

See Also:
QuartzPackage
Rating red
Generated:
This code was automatically generated.

Field Summary
protected static QuartzPackage modelPackage
          The cached model package.
protected  QuartzSwitch<Adapter> modelSwitch
          The switch that delegates to the createXXX methods.
 
Constructor Summary
QuartzAdapterFactory()
          Creates an instance of the adapter factory.
 
Method Summary
 Adapter createAdapter(Notifier target)
          Creates an adapter for the target.
 Adapter createAssumeListAdapter()
          Creates a new adapter for an object of class 'Assume List'.
 Adapter createAtomicStmtAdapter()
          Creates a new adapter for an object of class 'Atomic Stmt'.
 Adapter createcase_listAdapter()
          Creates a new adapter for an object of class 'case list'.
 Adapter createControlListAdapter()
          Creates a new adapter for an object of class 'Control List'.
 Adapter createDimListAdapter()
          Creates a new adapter for an object of class 'Dim List'.
 Adapter createdUtyExprAdapter()
          Creates a new adapter for an object of class 'dUty Expr'.
 Adapter createdUtyExprsAdapter()
          Creates a new adapter for an object of class 'dUty Exprs'.
 Adapter createEObjectAdapter()
          Creates a new adapter for the default case.
 Adapter createFixpointEqListAdapter()
          Creates a new adapter for an object of class 'Fixpoint Eq List'.
 Adapter createGenericAdapter()
          Creates a new adapter for an object of class 'Generic'.
 Adapter createImportListAdapter()
          Creates a new adapter for an object of class 'Import List'.
 Adapter createInOutNameAdapter()
          Creates a new adapter for an object of class 'In Out Name'.
 Adapter createInOutNameListAdapter()
          Creates a new adapter for an object of class 'In Out Name List'.
 Adapter createInOutNameListCommaAdapter()
          Creates a new adapter for an object of class 'In Out Name List Comma'.
 Adapter createInterfaceAdapter()
          Creates a new adapter for an object of class 'Interface'.
 Adapter createInterfaceCommaAdapter()
          Creates a new adapter for an object of class 'Interface Comma'.
 Adapter createInterfaceListAdapter()
          Creates a new adapter for an object of class 'Interface List'.
 Adapter createLocStmtAdapter()
          Creates a new adapter for an object of class 'Loc Stmt'.
 Adapter createMacroDefAdapter()
          Creates a new adapter for an object of class 'Macro Def'.
 Adapter createNameAdapter()
          Creates a new adapter for an object of class 'Name'.
 Adapter createNamedStmtAdapter()
          Creates a new adapter for an object of class 'Named Stmt'.
 Adapter createObservedSpecListAdapter()
          Creates a new adapter for an object of class 'Observed Spec List'.
 Adapter createOptUtyExprAdapter()
          Creates a new adapter for an object of class 'Opt Uty Expr'.
 Adapter createOptUtyExprListAdapter()
          Creates a new adapter for an object of class 'Opt Uty Expr List'.
 Adapter createPackagePathAdapter()
          Creates a new adapter for an object of class 'Package Path'.
 Adapter createPointedNameAdapter()
          Creates a new adapter for an object of class 'Pointed Name'.
 Adapter createProofGoalListAdapter()
          Creates a new adapter for an object of class 'Proof Goal List'.
 Adapter createQModuleAdapter()
          Creates a new adapter for an object of class 'QModule'.
 Adapter createQNameAdapter()
          Creates a new adapter for an object of class 'QName'.
 Adapter createQNameListAdapter()
          Creates a new adapter for an object of class 'QName List'.
 Adapter createQrzFileAdapter()
          Creates a new adapter for an object of class 'Qrz File'.
 Adapter createQTypeAdapter()
          Creates a new adapter for an object of class 'QType'.
 Adapter createQTypeListAdapter()
          Creates a new adapter for an object of class 'QType List'.
 Adapter createSeqStmtAdapter()
          Creates a new adapter for an object of class 'Seq Stmt'.
 Adapter createStmtAdapter()
          Creates a new adapter for an object of class 'Stmt'.
 Adapter createUtyActionAdapter()
          Creates a new adapter for an object of class 'Uty Action'.
 Adapter createUtyExprAdapter()
          Creates a new adapter for an object of class 'Uty Expr'.
 Adapter createUtyExprSelectListAdapter()
          Creates a new adapter for an object of class 'Uty Expr Select List'.
 boolean isFactoryForType(Object object)
          Returns whether this factory is applicable for the type of the object.
 
Methods inherited from class org.eclipse.emf.common.notify.impl.AdapterFactoryImpl
adapt, adapt, adaptAllNew, adaptNew, associate, createAdapter, resolve
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

modelPackage

protected static QuartzPackage modelPackage
The cached model package.

Generated:
This code was automatically generated.

modelSwitch

protected QuartzSwitch<Adapter> modelSwitch
The switch that delegates to the createXXX methods.

Generated:
This code was automatically generated.
Constructor Detail

QuartzAdapterFactory

public QuartzAdapterFactory()
Creates an instance of the adapter factory.

Generated:
This code was automatically generated.
Method Detail

isFactoryForType

public boolean isFactoryForType(Object object)
Returns whether this factory is applicable for the type of the object. This implementation returns true if the object is either the model's package or is an instance object of the model.

Specified by:
isFactoryForType in interface AdapterFactory
Overrides:
isFactoryForType in class AdapterFactoryImpl
Returns:
whether this factory is applicable for the type of the object.
Generated:
This code was automatically generated.

createAdapter

public Adapter createAdapter(Notifier target)
Creates an adapter for the target.

Overrides:
createAdapter in class AdapterFactoryImpl
Parameters:
target - the object to adapt.
Returns:
the adapter for the target.
Generated:
This code was automatically generated.

createQrzFileAdapter

public Adapter createQrzFileAdapter()
Creates a new adapter for an object of class 'Qrz File'. This default implementation returns null so that we can easily ignore cases; it's useful to ignore a case when inheritance will catch all the cases anyway.

Returns:
the new adapter.
See Also:
QrzFile
Generated:
This code was automatically generated.

createPackagePathAdapter

public Adapter createPackagePathAdapter()
Creates a new adapter for an object of class 'Package Path'. This default implementation returns null so that we can easily ignore cases; it's useful to ignore a case when inheritance will catch all the cases anyway.

Returns:
the new adapter.
See Also:
PackagePath
Generated:
This code was automatically generated.

createImportListAdapter

public Adapter createImportListAdapter()
Creates a new adapter for an object of class 'Import List'. This default implementation returns null so that we can easily ignore cases; it's useful to ignore a case when inheritance will catch all the cases anyway.

Returns:
the new adapter.
See Also:
ImportList
Generated:
This code was automatically generated.

createPointedNameAdapter

public Adapter createPointedNameAdapter()
Creates a new adapter for an object of class 'Pointed Name'. This default implementation returns null so that we can easily ignore cases; it's useful to ignore a case when inheritance will catch all the cases anyway.

Returns:
the new adapter.
See Also:
PointedName
Generated:
This code was automatically generated.

createMacroDefAdapter

public Adapter createMacroDefAdapter()
Creates a new adapter for an object of class 'Macro Def'. This default implementation returns null so that we can easily ignore cases; it's useful to ignore a case when inheritance will catch all the cases anyway.

Returns:
the new adapter.
See Also:
MacroDef
Generated:
This code was automatically generated.

createQModuleAdapter

public Adapter createQModuleAdapter()
Creates a new adapter for an object of class 'QModule'. This default implementation returns null so that we can easily ignore cases; it's useful to ignore a case when inheritance will catch all the cases anyway.

Returns:
the new adapter.
See Also:
QModule
Generated:
This code was automatically generated.

createObservedSpecListAdapter

public Adapter createObservedSpecListAdapter()
Creates a new adapter for an object of class 'Observed Spec List'. This default implementation returns null so that we can easily ignore cases; it's useful to ignore a case when inheritance will catch all the cases anyway.

Returns:
the new adapter.
See Also:
ObservedSpecList
Generated:
This code was automatically generated.

createNameAdapter

public Adapter createNameAdapter()
Creates a new adapter for an object of class 'Name'. This default implementation returns null so that we can easily ignore cases; it's useful to ignore a case when inheritance will catch all the cases anyway.

Returns:
the new adapter.
See Also:
Name
Generated:
This code was automatically generated.

createQNameAdapter

public Adapter createQNameAdapter()
Creates a new adapter for an object of class 'QName'. This default implementation returns null so that we can easily ignore cases; it's useful to ignore a case when inheritance will catch all the cases anyway.

Returns:
the new adapter.
See Also:
QName
Generated:
This code was automatically generated.

createQNameListAdapter

public Adapter createQNameListAdapter()
Creates a new adapter for an object of class 'QName List'. This default implementation returns null so that we can easily ignore cases; it's useful to ignore a case when inheritance will catch all the cases anyway.

Returns:
the new adapter.
See Also:
QNameList
Generated:
This code was automatically generated.

createQTypeAdapter

public Adapter createQTypeAdapter()
Creates a new adapter for an object of class 'QType'. This default implementation returns null so that we can easily ignore cases; it's useful to ignore a case when inheritance will catch all the cases anyway.

Returns:
the new adapter.
See Also:
QType
Generated:
This code was automatically generated.

createQTypeListAdapter

public Adapter createQTypeListAdapter()
Creates a new adapter for an object of class 'QType List'. This default implementation returns null so that we can easily ignore cases; it's useful to ignore a case when inheritance will catch all the cases anyway.

Returns:
the new adapter.
See Also:
QTypeList
Generated:
This code was automatically generated.

createDimListAdapter

public Adapter createDimListAdapter()
Creates a new adapter for an object of class 'Dim List'. This default implementation returns null so that we can easily ignore cases; it's useful to ignore a case when inheritance will catch all the cases anyway.

Returns:
the new adapter.
See Also:
DimList
Generated:
This code was automatically generated.

createInOutNameAdapter

public Adapter createInOutNameAdapter()
Creates a new adapter for an object of class 'In Out Name'. This default implementation returns null so that we can easily ignore cases; it's useful to ignore a case when inheritance will catch all the cases anyway.

Returns:
the new adapter.
See Also:
InOutName
Generated:
This code was automatically generated.

createInOutNameListAdapter

public Adapter createInOutNameListAdapter()
Creates a new adapter for an object of class 'In Out Name List'. This default implementation returns null so that we can easily ignore cases; it's useful to ignore a case when inheritance will catch all the cases anyway.

Returns:
the new adapter.
See Also:
InOutNameList
Generated:
This code was automatically generated.

createInOutNameListCommaAdapter

public Adapter createInOutNameListCommaAdapter()
Creates a new adapter for an object of class 'In Out Name List Comma'. This default implementation returns null so that we can easily ignore cases; it's useful to ignore a case when inheritance will catch all the cases anyway.

Returns:
the new adapter.
See Also:
InOutNameListComma
Generated:
This code was automatically generated.

createInterfaceAdapter

public Adapter createInterfaceAdapter()
Creates a new adapter for an object of class 'Interface'. This default implementation returns null so that we can easily ignore cases; it's useful to ignore a case when inheritance will catch all the cases anyway.

Returns:
the new adapter.
See Also:
Interface
Generated:
This code was automatically generated.

createInterfaceCommaAdapter

public Adapter createInterfaceCommaAdapter()
Creates a new adapter for an object of class 'Interface Comma'. This default implementation returns null so that we can easily ignore cases; it's useful to ignore a case when inheritance will catch all the cases anyway.

Returns:
the new adapter.
See Also:
InterfaceComma
Generated:
This code was automatically generated.

createInterfaceListAdapter

public Adapter createInterfaceListAdapter()
Creates a new adapter for an object of class 'Interface List'. This default implementation returns null so that we can easily ignore cases; it's useful to ignore a case when inheritance will catch all the cases anyway.

Returns:
the new adapter.
See Also:
InterfaceList
Generated:
This code was automatically generated.

createControlListAdapter

public Adapter createControlListAdapter()
Creates a new adapter for an object of class 'Control List'. This default implementation returns null so that we can easily ignore cases; it's useful to ignore a case when inheritance will catch all the cases anyway.

Returns:
the new adapter.
See Also:
ControlList
Generated:
This code was automatically generated.

createAssumeListAdapter

public Adapter createAssumeListAdapter()
Creates a new adapter for an object of class 'Assume List'. This default implementation returns null so that we can easily ignore cases; it's useful to ignore a case when inheritance will catch all the cases anyway.

Returns:
the new adapter.
See Also:
AssumeList
Generated:
This code was automatically generated.

createProofGoalListAdapter

public Adapter createProofGoalListAdapter()
Creates a new adapter for an object of class 'Proof Goal List'. This default implementation returns null so that we can easily ignore cases; it's useful to ignore a case when inheritance will catch all the cases anyway.

Returns:
the new adapter.
See Also:
ProofGoalList
Generated:
This code was automatically generated.

createFixpointEqListAdapter

public Adapter createFixpointEqListAdapter()
Creates a new adapter for an object of class 'Fixpoint Eq List'. This default implementation returns null so that we can easily ignore cases; it's useful to ignore a case when inheritance will catch all the cases anyway.

Returns:
the new adapter.
See Also:
FixpointEqList
Generated:
This code was automatically generated.

createOptUtyExprAdapter

public Adapter createOptUtyExprAdapter()
Creates a new adapter for an object of class 'Opt Uty Expr'. This default implementation returns null so that we can easily ignore cases; it's useful to ignore a case when inheritance will catch all the cases anyway.

Returns:
the new adapter.
See Also:
OptUtyExpr
Generated:
This code was automatically generated.

createOptUtyExprListAdapter

public Adapter createOptUtyExprListAdapter()
Creates a new adapter for an object of class 'Opt Uty Expr List'. This default implementation returns null so that we can easily ignore cases; it's useful to ignore a case when inheritance will catch all the cases anyway.

Returns:
the new adapter.
See Also:
OptUtyExprList
Generated:
This code was automatically generated.

createUtyExprSelectListAdapter

public Adapter createUtyExprSelectListAdapter()
Creates a new adapter for an object of class 'Uty Expr Select List'. This default implementation returns null so that we can easily ignore cases; it's useful to ignore a case when inheritance will catch all the cases anyway.

Returns:
the new adapter.
See Also:
UtyExprSelectList
Generated:
This code was automatically generated.

createUtyExprAdapter

public Adapter createUtyExprAdapter()
Creates a new adapter for an object of class 'Uty Expr'. This default implementation returns null so that we can easily ignore cases; it's useful to ignore a case when inheritance will catch all the cases anyway.

Returns:
the new adapter.
See Also:
UtyExpr
Generated:
This code was automatically generated.

createUtyActionAdapter

public Adapter createUtyActionAdapter()
Creates a new adapter for an object of class 'Uty Action'. This default implementation returns null so that we can easily ignore cases; it's useful to ignore a case when inheritance will catch all the cases anyway.

Returns:
the new adapter.
See Also:
UtyAction
Generated:
This code was automatically generated.

createcase_listAdapter

public Adapter createcase_listAdapter()
Creates a new adapter for an object of class 'case list'. This default implementation returns null so that we can easily ignore cases; it's useful to ignore a case when inheritance will catch all the cases anyway.

Returns:
the new adapter.
See Also:
case_list
Generated:
This code was automatically generated.

createdUtyExprAdapter

public Adapter createdUtyExprAdapter()
Creates a new adapter for an object of class 'dUty Expr'. This default implementation returns null so that we can easily ignore cases; it's useful to ignore a case when inheritance will catch all the cases anyway.

Returns:
the new adapter.
See Also:
dUtyExpr
Generated:
This code was automatically generated.

createdUtyExprsAdapter

public Adapter createdUtyExprsAdapter()
Creates a new adapter for an object of class 'dUty Exprs'. This default implementation returns null so that we can easily ignore cases; it's useful to ignore a case when inheritance will catch all the cases anyway.

Returns:
the new adapter.
See Also:
dUtyExprs
Generated:
This code was automatically generated.

createGenericAdapter

public Adapter createGenericAdapter()
Creates a new adapter for an object of class 'Generic'. This default implementation returns null so that we can easily ignore cases; it's useful to ignore a case when inheritance will catch all the cases anyway.

Returns:
the new adapter.
See Also:
Generic
Generated:
This code was automatically generated.

createLocStmtAdapter

public Adapter createLocStmtAdapter()
Creates a new adapter for an object of class 'Loc Stmt'. This default implementation returns null so that we can easily ignore cases; it's useful to ignore a case when inheritance will catch all the cases anyway.

Returns:
the new adapter.
See Also:
LocStmt
Generated:
This code was automatically generated.

createSeqStmtAdapter

public Adapter createSeqStmtAdapter()
Creates a new adapter for an object of class 'Seq Stmt'. This default implementation returns null so that we can easily ignore cases; it's useful to ignore a case when inheritance will catch all the cases anyway.

Returns:
the new adapter.
See Also:
SeqStmt
Generated:
This code was automatically generated.

createStmtAdapter

public Adapter createStmtAdapter()
Creates a new adapter for an object of class 'Stmt'. This default implementation returns null so that we can easily ignore cases; it's useful to ignore a case when inheritance will catch all the cases anyway.

Returns:
the new adapter.
See Also:
Stmt
Generated:
This code was automatically generated.

createAtomicStmtAdapter

public Adapter createAtomicStmtAdapter()
Creates a new adapter for an object of class 'Atomic Stmt'. This default implementation returns null so that we can easily ignore cases; it's useful to ignore a case when inheritance will catch all the cases anyway.

Returns:
the new adapter.
See Also:
AtomicStmt
Generated:
This code was automatically generated.

createNamedStmtAdapter

public Adapter createNamedStmtAdapter()
Creates a new adapter for an object of class 'Named Stmt'. This default implementation returns null so that we can easily ignore cases; it's useful to ignore a case when inheritance will catch all the cases anyway.

Returns:
the new adapter.
See Also:
NamedStmt
Generated:
This code was automatically generated.

createEObjectAdapter

public Adapter createEObjectAdapter()
Creates a new adapter for the default case. This default implementation returns null.

Returns:
the new adapter.
Generated:
This code was automatically generated.