public interface TermsFactory
extends org.eclipse.emf.ecore.EFactory
TermsPackage
Modifier and Type | Field and Description |
---|---|
static TermsFactory |
eINSTANCE
The singleton instance of the factory
|
Modifier and Type | Method and Description |
---|---|
Declarations |
createDeclarations()
Returns a new object of class 'Declarations'
|
MultisetSort |
createMultisetSort()
Returns a new object of class 'Multiset Sort'
|
NamedOperator |
createNamedOperator()
Returns a new object of class 'Named Operator'
|
NamedSort |
createNamedSort()
Returns a new object of class 'Named Sort'
|
ProductSort |
createProductSort()
Returns a new object of class 'Product Sort'
|
Tuple |
createTuple()
Returns a new object of class 'Tuple'
|
UserOperator |
createUserOperator()
Returns a new object of class 'User Operator'
|
UserSort |
createUserSort()
Returns a new object of class 'User Sort'
|
Variable |
createVariable()
Returns a new object of class 'Variable'
|
VariableDecl |
createVariableDecl()
Returns a new object of class 'Variable Decl'
|
TermsPackage |
getTermsPackage()
Returns the package supported by this factory
|
convertToString, create, createFromString, getEPackage, setEPackage
getEAnnotation, getEAnnotations
static final TermsFactory eINSTANCE
Declarations createDeclarations()
MultisetSort createMultisetSort()
VariableDecl createVariableDecl()
Variable createVariable()
ProductSort createProductSort()
Tuple createTuple()
NamedSort createNamedSort()
UserSort createUserSort()
NamedOperator createNamedOperator()
UserOperator createUserOperator()
TermsPackage getTermsPackage()
Copyright © 2009–2016 Univ. Paris Ouest, and Univ. Pierre et Marie Curie / CNRS UMR 7606 (LIP6). All rights reserved.