package org.whole.lang.unifiedlambdadelta.factories; import org.whole.lang.factories.GenericEntityFactory; import org.whole.lang.unifiedlambdadelta.model.*; import org.whole.lang.factories.RegistryConfigurations; import org.whole.lang.factories.IEntityRegistryProvider; import org.whole.lang.unifiedlambdadelta.reflect.UnifiedLambdaDeltaEntityDescriptorEnum; import org.whole.lang.factories.IEntityBuilder; import org.whole.lang.factories.EntityBuilder; /** * @generator Whole */ public class UnifiedLambdaDeltaEntityFactory extends GenericEntityFactory { public static final UnifiedLambdaDeltaEntityFactory instance = instance(RegistryConfigurations.DEFAULT); public static UnifiedLambdaDeltaEntityFactory instance( IEntityRegistryProvider provider) { return new UnifiedLambdaDeltaEntityFactory(provider); } protected UnifiedLambdaDeltaEntityFactory(IEntityRegistryProvider provider) { super(provider); } public Declaration createDeclaration() { return create(UnifiedLambdaDeltaEntityDescriptorEnum.Declaration); } public Declaration createDeclaration(Polarity polarity, Term front, Name name, Context back) { return create(UnifiedLambdaDeltaEntityDescriptorEnum.Declaration, polarity, front, name, back); } public IEntityBuilder<Declaration> buildDeclaration() { return new EntityBuilder<Declaration>( create(UnifiedLambdaDeltaEntityDescriptorEnum.Declaration)); } public Definition createDefinition() { return create(UnifiedLambdaDeltaEntityDescriptorEnum.Definition); } public Definition createDefinition(Polarity polarity, Term front, Name name, Context back) { return create(UnifiedLambdaDeltaEntityDescriptorEnum.Definition, polarity, front, name, back); } public IEntityBuilder<Definition> buildDefinition() { return new EntityBuilder<Definition>( create(UnifiedLambdaDeltaEntityDescriptorEnum.Definition)); } public Top createTop() { return create(UnifiedLambdaDeltaEntityDescriptorEnum.Top); } public Application createApplication() { return create(UnifiedLambdaDeltaEntityDescriptorEnum.Application); } public Application createApplication(Polarity polarity, Term front, Term back) { return create(UnifiedLambdaDeltaEntityDescriptorEnum.Application, polarity, front, back); } public IEntityBuilder<Application> buildApplication() { return new EntityBuilder<Application>( create(UnifiedLambdaDeltaEntityDescriptorEnum.Application)); } public Cast createCast() { return create(UnifiedLambdaDeltaEntityDescriptorEnum.Cast); } public Cast createCast(Polarity polarity, Term front, Term back) { return create(UnifiedLambdaDeltaEntityDescriptorEnum.Cast, polarity, front, back); } public IEntityBuilder<Cast> buildCast() { return new EntityBuilder<Cast>( create(UnifiedLambdaDeltaEntityDescriptorEnum.Cast)); } public Abstraction createAbstraction() { return create(UnifiedLambdaDeltaEntityDescriptorEnum.Abstraction); } public Abstraction createAbstraction(Polarity polarity, Term front, Term back, Name name) { return create(UnifiedLambdaDeltaEntityDescriptorEnum.Abstraction, polarity, front, back, name); } public IEntityBuilder<Abstraction> buildAbstraction() { return new EntityBuilder<Abstraction>( create(UnifiedLambdaDeltaEntityDescriptorEnum.Abstraction)); } public Abbreviation createAbbreviation() { return create(UnifiedLambdaDeltaEntityDescriptorEnum.Abbreviation); } public Abbreviation createAbbreviation(Polarity polarity, Term front, Term back, Name name) { return create(UnifiedLambdaDeltaEntityDescriptorEnum.Abbreviation, polarity, front, back, name); } public IEntityBuilder<Abbreviation> buildAbbreviation() { return new EntityBuilder<Abbreviation>( create(UnifiedLambdaDeltaEntityDescriptorEnum.Abbreviation)); } public Local createLocal() { return create(UnifiedLambdaDeltaEntityDescriptorEnum.Local); } public Local createLocal(Index index) { return create(UnifiedLambdaDeltaEntityDescriptorEnum.Local, index); } public Sort createSort() { return create(UnifiedLambdaDeltaEntityDescriptorEnum.Sort); } public Sort createSort(Level level) { return create(UnifiedLambdaDeltaEntityDescriptorEnum.Sort, level); } public Polarity createPolarity() { return create(UnifiedLambdaDeltaEntityDescriptorEnum.Polarity); } public Polarity createPolarity(boolean value) { return create(UnifiedLambdaDeltaEntityDescriptorEnum.Polarity, value); } public Index createIndex() { return create(UnifiedLambdaDeltaEntityDescriptorEnum.Index); } public Index createIndex(int value) { return create(UnifiedLambdaDeltaEntityDescriptorEnum.Index, value); } public Level createLevel() { return create(UnifiedLambdaDeltaEntityDescriptorEnum.Level); } public Level createLevel(int value) { return create(UnifiedLambdaDeltaEntityDescriptorEnum.Level, value); } public Name createName() { return create(UnifiedLambdaDeltaEntityDescriptorEnum.Name); } public Name createName(Access access, Prefix prefix, Postfix postfix) { return create(UnifiedLambdaDeltaEntityDescriptorEnum.Name, access, prefix, postfix); } public IEntityBuilder<Name> buildName() { return new EntityBuilder<Name>( create(UnifiedLambdaDeltaEntityDescriptorEnum.Name)); } public Access createAccess() { return create(UnifiedLambdaDeltaEntityDescriptorEnum.Access); } public Access createAccess(boolean value) { return create(UnifiedLambdaDeltaEntityDescriptorEnum.Access, value); } public Prefix createPrefix() { return create(UnifiedLambdaDeltaEntityDescriptorEnum.Prefix); } public Prefix createPrefix(String value) { return create(UnifiedLambdaDeltaEntityDescriptorEnum.Prefix, value); } public Postfix createPostfix() { return create(UnifiedLambdaDeltaEntityDescriptorEnum.Postfix); } public Postfix createPostfix(int value) { return create(UnifiedLambdaDeltaEntityDescriptorEnum.Postfix, value); } }