Examples of Type

@author Portet to jme3 by user starcom "Paul Kashofer Austria" @see ImageGraphics
  • com.jms.client.entity.Property.Type
  • com.jogamp.opencl.CLDevice.Type
  • com.kellerkindt.scs.internals.Todo.Type
  • com.kenai.jffi.Type
    Native parameter and return types.
  • com.linkedin.helix.NotificationContext.Type
  • com.mattinsler.guiceymongo.data.generator.type.Type
  • com.mysema.codegen.model.Type
  • com.mysema.query.sql.types.Type
    Defines the de/serialization of a typed Java object from a ResultSet or to a PreparedStatement

    getValue(ResultSet, int) is used for extraction and setValue(PreparedStatement, int, T) is used for population

    @author tiwe @param < T>
  • com.odiago.flumebase.lang.Type
    Defines a static or runtime type within the rtsql language. Complex types may be defined in subclasses of this type to hold additional information.

    The equals() and hashCode() methods on types work as expected.

  • com.opera.core.systems.scope.protos.EcmascriptProtos.Value.Type
  • com.orientechnologies.orient.core.hook.ORecordHook.TYPE
  • com.puppetlabs.geppetto.forge.model.Type
  • com.puppetlabs.geppetto.pp.pptp.Type
    A representation of the model object 'Type'.

    The following features are supported:

    @see com.puppetlabs.geppetto.pp.pptp.PPTPPackage#getType() @model @generated
  • com.redspr.redquerybuilder.core.shared.meta.Type
  • com.skype.ChatMessage.Type
  • com.sogou.qadev.service.cynthia.bean.Field.Type
  • com.strobel.reflection.Type
    @author Mike Strobel
  • com.sun.javadoc.Type
    Represents a type. A type can be a class or interface, an invocation (like {@code List}) of a generic class or interface, a type variable, a wildcard type ("?"), or a primitive data type (like char). @since 1.2 @author Kaiyang Liu (original) @author Robert Field (rewrite) @author Scott Seligman (generics)
  • com.sun.jdi.Type
    The mirror for a type in the target VM. This interface is the root of a type hierarchy encompassing primitive types and reference types.

    A Type may be used to represent a run-time type:

    {@link Value}.type()
    or a compile-time type:
    {@link Field#type()}
    {@link Method#returnType()}
    {@link Method#argumentTypes()}
    {@link LocalVariable#type()}
    {@link ArrayType#componentType()}

    The following table illustrates which subinterfaces of Type are used to mirror types in the target VM --

    Subinterfaces of {@link PrimitiveType}
    Type declared in target as Is mirrored as an instance of
    boolean {@link BooleanType}
    byte {@link ByteType}
    char {@link CharType}
    double {@link DoubleType}
    float {@link FloatType}
    int {@link IntegerType}
    long {@link LongType}
    short {@link ShortType}
    void {@link VoidType}
    Subinterfaces of {@link ReferenceType}
    Type declared in target as For example Is mirrored as an instance of
    a class Date {@link ClassType}
    an interface Runnable {@link InterfaceType}
    an array   {@link ArrayType}
    an array int[] {@link ArrayType} whose{@link ArrayType#componentType() componentType()} is{@link IntegerType}
    an array Date[] {@link ArrayType} whose{@link ArrayType#componentType() componentType()} is{@link ClassType}
    an array Runnable[] {@link ArrayType} whose{@link ArrayType#componentType() componentType()} is{@link InterfaceType}
    @see PrimitiveType Subinterface PrimitiveType @see ReferenceType Subinterface ReferenceType @see Value Value - for relationship between Type and Value @see Field#type() Field.type() - for usage examples @author Robert Field @author Gordon Hirsch @author James McIlree @since 1.3
  • com.sun.jdo.spi.persistence.support.sqlstore.query.util.type.Type
    @author Michael Bouschen @version 0.1
  • com.sun.org.apache.bcel.internal.generic.Type
    Abstract super class for all possible java types, namely basic types such as int, object types like String and array types, e.g. int[] @version $Id: Type.java,v 1.1.2.1 2005/07/31 23:45:18 jeffsuttor Exp $ @author M. Dahm
  • com.sun.org.apache.xalan.internal.xsltc.compiler.util.Type
    @author Jacek Ambroziak @author Santiago Pericas-Geertsen @author Morten Jorgensen
  • com.sun.star.uno.Type
    Represents the UNO built-in type TYPE.

    The UNO type is not directly mapped to java.lang.Class for at least two reasons. For one, some UNO types (like UNSIGNED SHORT) do not have a matching Java class. For another, it can be necessary to describe a type which is unknown to the Java runtime system (for example, for delaying the need of a class, so that it is possible to generate it on the fly.)

    A Type is uniquely determined by its type class (a TypeClass) and its type name (a String); these two will never be null. A Type may have an additional "z class" (a java.lang.Class), giving a Java class type that corresponds to the UNO type. Also, a Type can cache a type description (a com.sun.star.uno.ITypeDescription), which can be computed and set by TypeDescription.getTypeDescription.

  • com.sun.tools.classfile.Type
  • com.sun.tools.javac.code.Type
    This class represents Java types. The class itself defines the behavior of the following types:
     base types (tags: BYTE, CHAR, SHORT, INT, LONG, FLOAT, DOUBLE, BOOLEAN), type `void' (tag: VOID), the bottom type (tag: BOT), the missing type (tag: NONE). 

    The behavior of the following types is defined in subclasses, which are all static inner classes of this class:

     class types (tag: CLASS, class: ClassType), array types (tag: ARRAY, class: ArrayType), method types (tag: METHOD, class: MethodType), package types (tag: PACKAGE, class: PackageType), type variables (tag: TYPEVAR, class: TypeVar), type arguments (tag: WILDCARD, class: WildcardType), polymorphic types (tag: FORALL, class: ForAll), the error type (tag: ERROR, class: ErrorType). 

    This is NOT part of any supported API. If you write code that depends on this, you do so at your own risk. This code and its internal interfaces are subject to change or deletion without notice. @see TypeTags

  • com.sun.xml.internal.ws.org.objectweb.asm.Type
    A Java type. This class can be used to make it easier to manipulate type and method descriptors. @author Eric Bruneton @author Chris Nokleberg
  • com.tagtraum.perf.gcviewer.model.AbstractGCEvent.Type
  • com.vaadin.client.metadata.Type
  • com.vaadin.ui.Notification.Type
  • com.vmware.bdd.apitypes.TaskRead.Type
  • com.volantis.devrep.device.api.xml.definitions.Type
  • com.volantis.mcs.build.themes.definitions.types.Type
    Base interface for all types with the theme property definitions.
  • com.xeiam.xchange.cexio.dto.trade.CexIOOrder.Type
  • com.yahoo.labs.taxomo.util.State.Type
  • common.model.Type
  • commonj.sdo.Type
    A representation of the type of a {@link Property property} of a {@link DataObject data object}.
  • de.dfki.util.xmlrpc.XmlRpc.Type
  • de.lessvoid.xml.lwxs.elements.Type
  • de.mhus.lib.cao.CaoMetaDefinition.TYPE
  • de.mindcrimeilab.xsanalyzer.xml.XmlSchemaAnnotation.Type
  • de.willuhn.jameica.hbci.passports.ddv.rmi.Reader.Type
  • de.yaams.extensions.diamant.tileset.CTileset.TYPE
  • easysm.stores.Type
    @author FourCheeses Software Solutions
  • edu.brown.markov.MarkovVertex.Type
  • edu.hawaii.ics.csdl.jupiter.model.reviewissue.Type
    Provides type information. Clients can instantiate this with a key and its ordinal number. The ordinal number is used for the comparison of this instances. @author Takuya Yamashita @version $Id: Type.java 82 2008-02-22 09:34:57Z jsakuda $
  • edu.indiana.extreme.xbaya.event.Event.Type
  • edu.indiana.extreme.xbaya.xregistry.XRegistryComponent.Type
  • edu.mit.csail.sdg.alloy4compiler.ast.Type
    Immutable; represents the type of an expression.

    Invariant: all x:entries | x.arity()>0

    Note: except for "toString()" and "fold()", the return value of every method is always valid for all time; for example, given types A and B, and you call C=A.intersect(B), then the result C will always be the intersection of A and B even if the caller later constructs more sigs or subsigs or subsetsigs...

  • edu.nyu.acsys.CVC4.Type
  • etch.bindings.java.msg.Type
    Type denotes the type of a struct or message. When used with a message it typically denotes an action or event.
  • eu.admire.dispel.parser.types.Type
    DISPEL types. There are four primitive types: Boolean, Integer, Real and String. Another primitive type is Connection. All other types are processing element types, identified by the processing element name. @author Amy Krause
  • eu.admire.dispel.types.Type
    A representation of the model object 'Type'. @see eu.admire.dispel.types.TypesPackage#getType() @model abstract="true" @generated
  • eu.planets_project.services.datatypes.ServiceReport.Type
  • flex2.compiler.mxml.reflect.Type
    The facade for the MXML compiler to AS3 type. More API methods can be added but they must be meaningful to MXML parsing, semantic analysis and code generation. @author Clement Wong
  • fr.imag.adele.apam.maven.plugin.validation.property.Type
    This class is used to represent the type of a property. It handles validation and conversion of values. TODO We should change APAM core to use this class and unify treatment of property types at build and runtime @author vega
  • fr.tm.elibel.smartqvt.qvt.emof.Type
  • freenet.node.probe.Type
  • gnu.xml.validation.datatype.Type
  • grails.plugin.cache.web.Header.Type
  • greed.model.Type
    Greed is good! Cheers!
  • heart.xtt.Type
    @author sbkThe class that defines kind, structure and domain for further attributes definitions. @see Attribute
  • io.teknek.intravert.model.Type
  • it.cnr.isti.hpc.wikipedia.article.Article.Type
  • it.stefanobertini.zebra.cpcl.utility.Type
  • japa.parser.ast.type.Type
    @author Julio Vilmar Gesser
  • java.lang.reflect.Type
    Type is the common superinterface for all types in the Java programming language. These include raw types, parameterized types, array types, type variables and primitive types. @since 1.5
  • java.net.Proxy.Type
  • javassist.bytecode.analysis.Type
    Represents a JVM type in data-flow analysis. This abstraction is necessary since a JVM type not only includes all normal Java types, but also a few special types that are used by the JVM internally. See the static field types on this class for more info on these special types. All primitive and special types reuse the same instance, so identity comparison can be used when examining them. Normal java types must use {@link #equals(Object)} tocompare type instances. In most cases, applications which consume this API, only need to call {@link #getCtClass()}to obtain the needed type information. @author Jason T. Greene
  • javax.mail.Provider.Type
  • javax.persistence.metamodel.Type
    Reflection model for a JPA entity. @since JPA 2.0
  • javax.sound.sampled.AudioFileFormat.Type
  • jdk.internal.org.objectweb.asm.Type
    A Java field or method type. This class can be used to make it easier to manipulate type and method descriptors. @author Eric Bruneton @author Chris Nokleberg
  • jnr.ffi.Type
  • jode.type.Type
  • jxl.biff.Type
    An enumeration class which contains the biff types
  • kiss.lang.Type
    Abstract base class for Kiss types @author Mike
  • limpidlog.org.objectweb.asm.Type
  • litil.ast.Type
  • lupos.gui.operatorgraph.DrawObject.Type
  • ma.glasnost.orika.metadata.Type
    Type is an implementation of ParameterizedType which may be used in various mapping methods where a Class instance would normally be used, in order to provide more specific details as to the actual types represented by the generic template parameters in a given class.

    Such details are not normally available at runtime using a Class instance due to type-erasure.

    Type essentially provides a runtime token to represent a ParameterizedType with fully-resolve actual type arguments; it will contain @author matt.deboer@gmail.com @param < T>
  • mockit.external.asm.Type
    A Java type. This class can be used to make it easier to manipulate type and method descriptors. @author Eric Bruneton @author Chris Nokleberg
  • mondrian.olap.type.Type
    an-release/3.2/src/main/mondrian/olap/type/Type.java#1 $
  • name.abuchen.portfolio.model.PortfolioTransaction.Type
  • net.fortuna.ical4j.vcard.parameter.Type
  • net.jangaroo.jooc.Type
  • net.java.games.input.Controller.Type
  • net.java.trueupdate.message.UpdateMessage.Type
  • net.minecraftforge.common.BiomeDictionary.Type
  • net.sf.cglib.asm.Type
  • net.sf.joafip.asm.Type
    A Java type. This class can be used to make it easier to manipulate type and method descriptors. @author Eric Bruneton @author Chris Nokleberg
  • net.sourceforge.javautil.classloader.resolver.IClassPackage.IVersion.Type
  • net.sourceforge.marathon.api.module.Argument.Type
  • net.tomp2p.message.Message.Type
  • nexj.core.meta.Type
    A type definition.
  • nginx.clojure.asm.Type
    A Java field or method type. This class can be used to make it easier to manipulate type and method descriptors. @author Eric Bruneton @author Chris Nokleberg
  • oracle.toplink.libraries.asm.Type
    A Java type. This class can be used to make it easier to manipulate type and method descriptors. @author Eric Bruneton, Chris Nokleberg
  • org.adbcj.Type
  • org.andromda.core.cartridge.template.Type
    Represents the <type/> element nested within the <modelElement/> element. @author Chad Brandon @see ModelElement
  • org.apache.abdera.model.Content.Type
  • org.apache.abdera.model.Text.Type
  • org.apache.airavata.ws.monitor.event.Event.Type
  • org.apache.airavata.xbaya.event.Event.Type
  • org.apache.ambari.server.controller.spi.Resource.Type
  • org.apache.avalon.meta.info.Type
    This class contains the meta information about a particular component type. It describes;

    UML

    @author Avalon Development Team @version $Revision: 1.2 $ $Date: 2003/10/17 02:03:06 $
  • org.apache.avro.Schema.Type
  • org.apache.axis.wsdl.wsdl2ws.info.Type
  • org.apache.axis2.rmi.metadata.Type
  • org.apache.bcel.generic.Type
    Abstract super class for all possible java types, namely basic types such as int, object types like String and array types, e.g. int[] @version $Id: Type.java 393344 2006-04-12 00:38:34Z tcurdt $ @author M. Dahm
  • org.apache.curator.framework.recipes.cache.PathChildrenCacheEvent.Type
  • org.apache.cxf.aegis.type.Type
    A Type reads and writes XML fragments to create and write objects. @author Dan Diephouse
  • org.apache.etch.bindings.java.msg.Type
    Type denotes the type of a struct or message. When used with a message it typically denotes an action or event.
  • org.apache.felix.gogo.runtime.Tokenizer.Type
  • org.apache.felix.sigil.common.repository.RepositoryChangeEvent.Type
  • org.apache.hadoop.fs.shell.find.Type
    Implements the -type expression for the {@link org.apache.hadoop.fs.shell.find.Find} command.
  • org.apache.hadoop.hbase.KeyValue.Type
  • org.apache.hadoop.hive.metastore.api.Type
  • org.apache.hadoop.hive.ql.io.orc.OrcProto.Type
  • org.apache.hadoop.typedbytes.Type
  • org.apache.hcatalog.data.schema.HCatFieldSchema.Type
  • org.apache.helix.NotificationContext.Type
  • org.apache.hive.hcatalog.data.schema.HCatFieldSchema.Type
  • org.apache.hive.service.cli.Type
  • org.apache.howl.data.schema.HowlFieldSchema.Type
  • org.apache.isis.applib.Identifier.Type
  • org.apache.isis.applib.annotation.Render.Type
  • org.apache.isis.viewer.scimpi.dispatcher.view.value.Type
  • org.apache.jackrabbit.oak.api.Type
    Instances of this class map Java types to {@link PropertyType property types}. Passing an instance of this class to {@link PropertyState#getValue(Type)} determinesthe return type of that method. @param < T>
  • org.apache.jackrabbit.oak.spi.security.user.Type
  • org.apache.james.imap.api.message.response.StatusResponse.Type
  • org.apache.james.mailbox.MessageRange.Type
  • org.apache.james.mailbox.model.MessageRange.Type
  • org.apache.lucene.search.SortField.Type
  • org.apache.mahout.utils.nlp.collocations.llr.Gram.Type
  • org.apache.mahout.vectorizer.collocations.llr.Gram.Type
  • org.apache.openejb.asm.Type
  • org.apache.openmeetings.db.entity.user.User.Type
  • org.apache.qpid.management.domain.model.type.Type
    Layer supertype for all management "types". @author Andrea Gazzarini
  • org.apache.qpid.transport.Type
  • org.apache.shindig.gadgets.oauth2.OAuth2Accessor.Type
  • org.apache.sling.discovery.TopologyEvent.Type
  • org.apache.sling.validation.api.Type
  • org.apache.sqoop.schema.type.Type
  • org.apache.stanbol.ontologymanager.registry.api.model.RegistryItem.Type
  • org.apache.tajo.common.TajoDataTypes.Type
  • org.apache.tapestry5.internal.plastic.asm.Type
    A Java field or method type. This class can be used to make it easier to manipulate type and method descriptors. @author Eric Bruneton @author Chris Nokleberg
  • org.apache.tuscany.sdo.model.Type
    A representation of the model object 'Type'.

    The following features are supported:

    @generated
  • org.apache.uima.cas.Type
    The interface describing types in the type system.

    Type names are Java strings that look like Java class names. For example, the built-in annotation type is called uima.tcas.Annotation. The whole string is called the (fully) qualified type name. The part after the last period is called the short or base name. The rest of the name is the name space of the type. This part can be empty, in which case the qualified and the base name are identical.

    Type system identifiers in general have the following syntax: they are non-empty strings whose first character is a letter (Unicode letter), followed by an arbitrary sequence of letters, digits and underscores. No other characters are legal parts of identifiers. A type name is then a non-empty sequence of identifiers separated by periods. See also Feature names.

  • org.apache.xalan.xsltc.compiler.util.Type
  • org.apache.xbean.asm.Type
  • org.apache.xbean.asm4.Type
  • org.apache.xbean.asm5.Type
  • org.apache.xmlbeans.impl.inst2xsd.util.Type
    @author Cezar Andrei (cezar.andrei at bea.com) Date: Jul 16, 2004
  • org.applause.lang.applauseDsl.Type
    A representation of the model object 'Type'. @see org.applause.lang.applauseDsl.ApplauseDslPackage#getType() @model @generated
  • org.aspectj.apache.bcel.generic.Type
    Abstract super class for all possible java types, namely basic types such as int, object types like String and array types, e.g. int[] @version $Id: Type.java,v 1.13 2009/10/05 17:35:36 aclement Exp $ @author M. Dahmmodified: AndyClement 2-mar-05: Removed unnecessary static and optimized
  • org.aspectj.org.eclipse.jdt.core.dom.Type
    Abstract base class of all type AST node types. A type node represents a reference to a primitive type (including void), to an array type, or to a simple named type (or type variable), to a qualified type, to a parameterized type, or to a wildcard type. Note that not all of these are meaningful in all contexts; for example, a wildcard type is only meaningful in the type argument position of a parameterized type.

     Type: PrimitiveType ArrayType SimpleType QualifiedType ParameterizedType WildcardType PrimitiveType: byte short char int long float double boolean void ArrayType: Type [ ] SimpleType: TypeName ParameterizedType: Type < Type { , Type } > QualifiedType: Type . SimpleName WildcardType: ? [ ( extends | super) Type ]  

    @since 2.0
  • org.auraframework.system.Annotations.Type
  • org.beangle.model.entity.Type
  • org.boris.expr.function.excel.TYPE
  • org.bukkit.FireworkEffect.Type
  • org.chromium.sdk.JsValue.Type
  • org.chromium.sdk.Script.Type
  • org.cipango.diameter.Type
    AVP type. It contains the AVP name, vendorId, code and AVP data format. @param < T> AVP data format
  • org.cipango.dns.Type
  • org.codehaus.xfire.aegis.type.Type
    A Type reads and writes XML fragments to create and write objects. @author Dan Diephouse
  • org.datanucleus.store.Type
    Generic Type. TODO Add details of what is a Type and why it is needed
  • org.destecs.tools.jprotocolgenerator.ast.Type
  • org.deuce.objectweb.asm.Type
  • org.drools.asm.Type
    A Java type. This class can be used to make it easier to manipulate type and method descriptors. @author Eric Bruneton @author Chris Nokleberg
  • org.eclipse.egit.ui.internal.commit.DiffStyleRangeFormatter.DiffStyleRange.Type
  • org.eclipse.egit.ui.internal.dialogs.CompareTreeView.PathNode.Type
  • org.eclipse.imp.pdb.facts.type.Type
  • org.eclipse.jdt.core.dom.Type
    Abstract base class of all type reference AST node types. A type node represents a reference to a primitive type (including void), to an array type, or to a simple named type (or type variable), to a qualified type, to a parameterized type, to a union type, to an intersection type, or to a wildcard type. Note that not all of these are meaningful in all contexts; for example, a wildcard type is only meaningful in the type argument position of a parameterized type. UnionType got introduced in JLS4 to support common catch blocks for disjunctive types. For JLS8, optional annotations indicated by {Annotation} got added.

     Type: AnnotatableType: PrimitiveType SimpleType QualifiedType NameQualifiedType WildcardType ArrayType ParameterizedType UnionType IntersectionType {@link PrimitiveType}: { Annotation } byte { Annotation } short { Annotation } char { Annotation } int { Annotation } long { Annotation } float { Annotation } double { Annotation } boolean { Annotation } void {@link ArrayType}: Type Dimension { Dimension } {@link SimpleType}: { Annotation } TypeName {@link QualifiedType}: Type . {Annotation} SimpleName {@link NameQualifiedType}: Name . { Annotation } SimpleName {@link WildcardType}: { Annotation } ? [ ( extends | super) Type ] {@link ParameterizedType}: Type < Type { , Type } > {@link UnionType}: Type | Type { | Type } {@link IntersectionType}: Type & Type { & Type } 

    @since 2.0
  • org.eclipse.jetty.websocket.api.extensions.Frame.Type
  • org.eclipse.persistence.internal.libraries.asm.Type
    A Java type. This class can be used to make it easier to manipulate type and method descriptors. @author Eric Bruneton, Chris Nokleberg
  • org.eclipse.persistence.jpa.jpql.JPQLQueryDeclaration.Type
  • org.eclipse.php.internal.debug.core.pathmapper.PathEntry.Type
  • org.eclipse.sapphire.modeling.annotations.Type
  • org.eclipse.uml2.Type
  • org.eclipse.uml2.uml.Type
  • org.eclipse.wst.common.project.facet.core.IFacetedProject.Action.Type
  • org.eclipse.xtend.lib.macro.declaration.Type
    @author Sven Efftinge @noimplement This interface is not intended to be implemented by clients.
  • org.elevenbits.westvleteren.model.item.Type
    @TODO : document this! @author m8n @version 18.07.2005
  • org.enclojure.ide.asm.Type
    A Java type. This class can be used to make it easier to manipulate type and method descriptors. @author Eric Bruneton @author Chris Nokleberg
  • org.exolab.castor.xml.schema.simpletypes.factory.Type
    Stores information about an xml built in type.
  • org.exolab.jms.selector.Type
    This class provides an enumeration of the supported expression types. @version $Revision: 1.1 $ $Date: 2004/11/26 01:50:45 $ @author Tim Anderson @see Expression @see SBool @see SNumber @see SString
  • org.exolab.jms.tools.db.Type
    This class is a helper class for converting from string values to their corresponding java.sql.Types @version $Revision: 1.1 $ $Date: 2004/11/26 01:51:16 $ @author Tim Anderson
  • org.exquery.xquery.Type
  • org.fest.reflect.type.Type
    s the class 'org.republic.Jedi' Class<?> jediType = {@link org.fest.reflect.core.Reflection#type(String) type}("org.republic.Jedi"). {@link Type#load() load}(); // Loads the class 'org.republic.Jedi' as 'org.republic.Person' (Jedi extends Person) Class<Person> jediType = {@link org.fest.reflect.core.Reflection#type(String) type}("org.republic.Jedi"). {@link Type#loadAs(Class) loadAs}(Person.class); // Loads the class 'org.republic.Jedi' using a custom class loader Class<?> jediType = {@link org.fest.reflect.core.Reflection#type(String) type}("org.republic.Jedi"). {@link Type#withClassLoader(ClassLoader) withClassLoader}(myClassLoader). {@link org.fest.reflect.type.TypeLoader#load() load}();

    @author Alex Ruiz @since 1.1
  • org.geotools.xml.schema.Type

    This is a convinience interface to help speed up the code, allowing for any type definition to handled in a consistent manner, independant of whether it's nested or not.

    @see SimpleType @see ComplexType @author dzwiers www.refractions.net @source $URL$
  • org.geowebcache.seed.GWCTask.TYPE
  • org.geppetto.core.data.model.SimpleType.Type
  • org.glassfish.hk2.classmodel.reflect.Type
    A type defines java type which can be an interface or a class. @author Jerome Dochez
  • org.glassfish.hk2.external.org.objectweb.asm.Type
    A Java field or method type. This class can be used to make it easier to manipulate type and method descriptors. @author Eric Bruneton @author Chris Nokleberg
  • org.glyptodon.guacamole.net.auth.ConnectionGroup.Type
  • org.guvnor.tools.views.model.TreeObject.Type
  • org.hibernate.annotations.Type
  • org.hibernate.metamodel.domain.Type
    Basic information about a Java type, in regards to its role in particular set of mappings. @author Steve Ebersole
  • org.hibernate.type.Type
    Defines a mapping between a Java type and one or more JDBC {@linkplain java.sql.Types types}, as well as describing the in-memory semantics of the given java type (how do we check it for 'dirtiness', how do we copy values, etc).

    Application developers needing custom types can implement this interface (either directly or via subclassing an existing impl) or by the (slightly more stable, though more limited) {@link org.hibernate.usertype.UserType}interface.

    Implementations of this interface must certainly be thread-safe. It is recommended that they be immutable as well, though that is difficult to achieve completely given the no-arg constructor requirement for custom types. @author Gavin King @author Steve Ebersole

  • org.hsqldb.types.Type
    Base class for type objects.

    @author Fred Toussi (fredt@users dot sourceforge.net) @version 1.9.0 @since 1.9.0

  • org.hsqldb_voltpatches.types.Type
    Base class for type objects.

    @author Fred Toussi (fredt@users dot sourceforge.net) @version 1.9.0 @since 1.9.0

  • org.infinispan.protostream.descriptors.Type
  • org.infinispan.schematic.document.JsonSchema.Type
  • org.ini4j.Registry.Type
  • org.jbehave.core.io.rest.RESTClient.Type
  • org.jboss.aop.array.Type
  • org.jboss.byteman.rule.type.Type
    models the type of a rule binding or expression
  • org.jboss.jandex.Type
  • org.jboss.resteasy.api.validation.ConstraintType.Type
  • org.jboss.seam.security.external.jaxb.xrds.Type
    ($v*2.0)>URIPattern"> <attGroup ref="{xri://$xrd*($v*2.0)}selectionAttrGrp"/> <anyAttribute processContents='lax' namespace='##other'/> </extension> </simpleContent> </complexType>
  • org.jboss.system.server.profileservice.repository.clustered.sync.ContentModification.Type
  • org.jboss.test.aop.packagedotdot.type.Type
    @author Kabir Khan @version $Revision: 1.1 $
  • org.jboss.ws.extensions.xop.jaxws.AttachmentScanResult.Type
  • org.jboss.ws.metadata.umdm.EndpointMetaData.Type
  • org.jbpm.pvm.internal.type.Type
    a variable type. @author Tom Baeyens
  • org.jbpm.simulation.PathContext.Type
  • org.jclouds.compute.domain.Volume.Type
  • org.jclouds.ultradns.ws.domain.Zone.Type
  • org.jdesktop.wonderland.modules.security.common.Principal.Type
  • org.jfree.formula.typing.Type
    Creation-Date: 02.11.2006, 09:32:21 @author Thomas Morgner
  • org.jitterbit.application.ui.Alert.Type
  • org.jivesoftware.smack.packet.Presence.Type
  • org.jpokemon.pokemon.Type
  • org.jruby.ext.ffi.Type
  • org.kie.workbench.common.services.refactoring.model.index.Type
  • org.kohsuke.asm3.Type
  • org.libreplan.business.orders.entities.SchedulingState.Type
  • org.libreplan.business.planner.entities.Dependency.Type
  • org.locationtech.geogig.api.RevObject.TYPE
  • org.locationtech.udig.catalog.document.IDocument.Type
  • org.locationtech.udig.mapgraphic.grid.GridStyle.Type
  • org.mapstruct.ap.model.common.Type
    Represents (a reference to) the type of a bean property, parameter etc. Types are managed per generated source file. Each type corresponds to a {@link TypeMirror}, i.e. there are different instances for e.g. {@code Set} and{@code Set}.

    Allows for a unified handling of declared and primitive types and usage within templates. Instances are obtained through {@link TypeFactory}. @author Gunnar Morling

  • org.martinlaw.bo.Type
    a super class that holds some common fields useful for creating types @author mugo
  • org.metaworks.Type
  • org.mizartools.dli.Type
  • org.mockito.asm.Type
    A Java type. This class can be used to make it easier to manipulate type and method descriptors. @author Eric Bruneton @author Chris Nokleberg
  • org.mule.util.counters.CounterFactory.Type
  • org.mvel2.asm.Type
    A Java field or method type. This class can be used to make it easier to manipulate type and method descriptors. @author Eric Bruneton @author Chris Nokleberg
  • org.nasutekds.server.admin.AdministratorAction.Type
  • org.netbeans.modules.php.editor.parser.astnodes.Assignment.Type
  • org.nutz.repo.org.objectweb.asm.Type
    A Java type. This class can be used to make it easier to manipulate type and method descriptors. @author Eric Bruneton @author Chris Nokleberg
  • org.nuxeo.ecm.platform.types.Type
  • org.objectweb.asm.Type
    A Java type. This class can be used to make it easier to manipulate type and method descriptors. @author Eric Bruneton, Chris Nokleberg
  • org.olap4j.type.Type
    Type of an MDX expression.

    All type objects are immutable. @author jhyde @since Feb 17, 2005 @version $Id: Type.java 315 2010-05-29 00:56:11Z jhyde $

  • org.opencastproject.mediapackage.MediaPackageElement.Type
  • org.opengis.util.Type
  • org.openhab.core.types.Type
    This is a parent interface for all states and commands. It was introduced as many states can be commands at the same time and vice versa. E.g a light can have the state ON or OFF and one can also send ON and OFF as commands to the device. This duality is captured by this marker interface and allows implementing classes to be both state and command at the same time. @author Kai Kreuzer @since 0.1.0
  • org.openntf.domino.email.IEmailAttachment.Type
  • org.overturetool.vdmj.types.Type
  • org.ow2.asm.Type
    A Java field or method type. This class can be used to make it easier to manipulate type and method descriptors. @author Eric Bruneton @author Chris Nokleberg
  • org.ow2.easybeans.asm.Type
    This class manages the injection. @author Florent Benoit
  • org.pdtextensions.semanticanalysis.model.validators.Type
    b.com/pdt-eg) * All rights reserved. This program and the accompanying materials * are made available under the terms of the Eclipse Public License v1.0 * which accompanies this distribution, and is available at * http://www.eclipse.org/legal/epl-v10.html *

    The following features are supported:

    @see org.pdtextensions.semanticanalysis.model.validators.ValidatorsPackage#getType() @model @generated
  • org.pentaho.reporting.libraries.formula.typing.Type
  • org.pshdl.interpreter.VariableInformation.Type
  • org.rsbot.loader.asm.Type
    A Java type. This class can be used to make it easier to manipulate type and method descriptors. @author Eric Bruneton @author Chris Nokleberg
  • org.rssowl.ui.internal.editors.feed.NewsFilter.Type
  • org.rssowl.ui.internal.views.explorer.BookMarkFilter.Type
  • org.saiku.datasources.datasource.SaikuDatasource.Type
  • org.saiku.olap.dto.SaikuSelection.Type
  • org.sbml.jsbml.ASTNode.Type
  • org.sbml.jsbml.CVTerm.Type
  • org.sbml.jsbml.ListOf.Type
  • org.springframework.asm.Type
    A Java field or method type. This class can be used to make it easier to manipulate type and method descriptors. @author Eric Bruneton @author Chris Nokleberg
  • org.springframework.data.repository.query.parser.Part.Type
  • org.springframework.hateoas.alps.Type
  • org.springframework.ide.eclipse.metadata.core.AspectMethodAnnotationMetadata.Type
  • org.structr.rest.serialization.html.attr.Type
    @author Christian Morgner
  • org.teiid.core.types.XMLType.Type
  • org.teiid.query.sql.symbol.AggregateSymbol.Type
  • org.trello4j.model.Type
    Trello type. Represent response of a GET /1/types/[id] request. This is simply a way of getting the type of given id or name. See TrelloType for different kinds of types. { "id":"4eb3f3f1e679eb839b4c594b", "type":"organization" } @author joel
  • org.voltdb.messaging.RejoinMessage.Type
  • org.waveprotocol.wave.client.wavepanel.view.View.Type
  • org.waveprotocol.wave.model.richtext.RichTextTokenizer.Type
  • org.wicketstuff.whiteboard.elements.Element.Type
  • org.wso2.siddhi.query.api.definition.Attribute.Type
  • org.wymiwyg.wrhapi.RequestURI.Type
  • org.xmpp.packet.Presence.Type
  • org.xtext.example.mydsl.myDsl.Type
  • org.yinwang.pysonar.types.Type
  • org.z.lexer.grammar.Type
  • parquet.schema.Type
    Represents the declared type for a field in a schema. The Type object represents both the actual underlying type of the object (eg a primitive or group) as well as its attributes such as whether it is repeated, required, or optional.
  • pojo.Type
    Type generated by hbm2java
  • ptolemy.backtrack.eclipse.ast.Type
    During AST analysis, a type is assigned to each expression or sub-expression (which can be as simple as reference to a local variable) in a Java program. This class represents the type objects to be assigned to those expressions.

    This class represents primitive Java types (boolean, byte, char, double, float, int, long, and short) as well as object types (including arrays). It treats null and void (the "return value" of a void method) as null type, which is also considered as primitive.

    Manipulation can also be done on those types by means of the given operations.

    This class cannot be directed instantiated with "new". Users should use {@link #createType(String)} to create a type object with a name. If thename refers to a class, it must be a full name (including the package).

    Objects of this class can also be associated with AST nodes during AST analysis. When the analyzer resolves the type of a node representing an expression or sub-expression in the Java program, it creates a type and associates it with that node with {@link #setType(ASTNode,Type)}. This information can be extracted with {@link #getType(ASTNode)}. @author Thomas Feng @version $Id: Type.java,v 1.8 2007/12/06 18:31:38 cxh Exp $ @since Ptolemy II 5.1 @Pt.ProposedRating Red (tfeng) @Pt.AcceptedRating Red (tfeng)

  • ptolemy.data.type.Type
    An interface representing the type of a Token. @author Yuhong Xiong, Steve Neuendorffer @version $Id: Type.java,v 1.56 2007/12/06 18:20:48 cxh Exp $ @since Ptolemy II 0.4 @Pt.ProposedRating Red (neuendor) @Pt.AcceptedRating Red (cxh)
  • rocket.generator.rebind.type.Type
    Types represent a type during compilation. @author Miroslav Pokorny
  • scala.tools.asm.Type
    A Java field or method type. This class can be used to make it easier to manipulate type and method descriptors. @author Eric Bruneton @author Chris Nokleberg
  • se.jbee.inject.Type
    A generic version of {@link Class} like {@link java.lang.reflect.Type} but without a complexhierarchy. Instead all cases are represented as a general model. The key difference is that this model just describes concrete types. So there is no representation for a {@link TypeVariable}. There are some generic cases that are not supported right now because they haven't been needed. @author Jan Bernitt (jan@jbee.se)
  • soot.Type
  • stp.Type
  • sun.jvm.hotspot.types.Type
    This is the top-level interface which describes C++ classes and primitive types as well as enough about Java primitive and object types to allow the oop hierarchy to be constructed.
  • sun.tools.java.Type
    This class represents an Java Type.

    It encapsulates an Java type signature and it provides quick access to the components of the type. Note that all types are hashed into a hashtable (typeHash), that means that each distinct type is only allocated once, saving space and making equality checks cheap.

    For simple types use the constants defined in this class. (Type.tInt, Type.tShort, ...). To create complex types use the static methods Type.tArray, Type.tMethod or Type.tClass. For classes, arrays and method types a sub class of class type is created which defines the extra type components. WARNING: The contents of this source file are not part of any supported API. Code that depends on them does so at its own risk: they are subject to change or removal without notice. @see ArrayType @see ClassType @see MethodType @author Arthur van Hoff

  • toxi.geom.Line2D.LineIntersection.Type
  • warbot.chevri_t.MobileFoe.Type
  • wyil.lang.Type
    y.org/2011/03/07/implementing-structural-types/ for more on how this class works. @author David J. Pearce
  • wyrl.core.Type
  • wyvern.tools.types.Type
  • xbird.xquery.type.Type
    g/TR/xquery-operators/#casting
  • xjavadoc.Type
  • xtc.type.Type
    The superclass of all types.

    The class hierarchy for types distinguishes basic from wrapped types, with wrapped types providing additional information for basic types. For each basic type, this class provides isName() and toName() methods to replace instanceof tests and casts, respectively. For each wrapped type, this class additionally provides a hasName() method, which identifies instances of the wrapped type even if they are wrapped inside another (wrapped) type. In other words, invocations of hasName() are forwarded across wrapped types while invocations of isName() only apply to the outermost type object. For wrapped types, invocations of toName() are also forwarded across (other) wrapped types.

    As an example, consider an int type wrapped in an annotated type and an alias type:

     Type i = NumberT.INT; Type j = new AnnotatedT(i); Type k = new AliasT("alias", j); 
    Then the following method invocations have the following results:
     k.isAlias()        ⇒ true k.hasAlias()       ⇒ true k.toAlias()        ⇒ k k.isAnnotated()    ⇒ false k.hasAnnotated()   ⇒ true k.toAnnotated()    ⇒ j k.isInteger()      ⇒ false k.toInteger()      ⇒ error 
    The {@link #resolve()} method can be used to strip any wrappedtypes:
     Type r = k.resolve(); r.isAlias()        ⇒ false r.isAnnotated()    ⇒ false r.isInteger()      ⇒ true r.toInteger()      ⇒ i 

    The {@link Tag} enumeration also identifies particular types.A type's tag can be accessed through {@link #tag()}, which is forwarded across wrapped types, and through {@link #wtag()}, which is not forwarded across wrapped types. As a result, tag() identifies basic types independent of whether they are wrapped or not, while wtag() always identifies the outermost type:

     k.tag()            ⇒ Tag.INTEGER k.wtag()           ⇒ Tag.ALIAS i.tag()            ⇒ Tag.INTEGER i.tag()            ⇒ Tag.INTEGER 

    Each type can have one or more of the following annotations:

    For each kind of annotation, this class defines tester, getter, and setter methods. The tester and getter methods come in two versions, one that is forwarded across wrapped types and one that uses a boolean parameter to control forwarding. @author Robert Grimm @version $Revision: 1.112 $

  • Examples of de.mindcrimeilab.xsanalyzer.xml.XmlSchemaAnnotation.Type

        }

        @Test
        public void testHashCode() {
            final XmlSchemaAnnotation annotation1 = new XmlSchemaAnnotation();
            final Type type = XmlSchemaAnnotation.Type.DOCUMENTATION;
            final String content = "an annotation";

            annotation1.setType(type);
            annotation1.setContent(content);
    View Full Code Here

    Examples of de.willuhn.jameica.hbci.passports.ddv.rmi.Reader.Type

              continue;
            }

            // Checken, ob der CTAPI-Treiber existiert.
            String s = StringUtils.trimToNull(reader.getCTAPIDriver());
            Type type = reader.getType();
            if (type.isCTAPI())
            {
              if (s == null)
              {
                monitor.log("  " + i18n.tr("�berspringe Kartenleser, kein CTAPI-Treiber definiert."));
                continue;
              }
              File f = new File(s);
              if (!f.exists())
              {
                monitor.log("  " + i18n.tr("�berspringe Kartenleser, CTAPI-Treiber {0} existiert nicht.",f.getAbsolutePath()));
                continue;
              }
            }

            int ctNumber = reader.getCTNumber();
            temp.setCTNumber(ctNumber == -1 ? 0 : ctNumber);
            temp.setEntryIndex(1);
            temp.setReaderPreset(reader);
            temp.setSoftPin(reader.useSoftPin());
            temp.setCTAPIDriver(s);
            temp.setHBCIVersion(reader.getDefaultHBCIVersion());

            // PC/SC-Kartenleser suchen
            if (type.isPCSC())
            {
              try
              {
                List<CardTerminal> terminals = TerminalFactory.getDefault().terminals().list();
                // Eigentlich koennen wir hier pauschal den ersten gefundenen nehmen
    View Full Code Here

    Examples of de.yaams.extensions.diamant.tileset.CTileset.TYPE

            // build form
            FormBuilder f = new FormBuilder("diamant.tile.detail");

            // add all
            for (TYPE t : CTileset.TYPE.values()) {
              final TYPE t2 = t;
              f.addElement("basic." + t,
                  new FormCheckbox(t.toString(), tileset.getTypes(index, t)).addChangeListener(new FormElementChangeListener() {

                    @Override
                    public void stateChanged(FormElement form) {
    View Full Code Here

    Examples of easysm.stores.Type

      /*
       * Event Handlers
       */
      private void button_okActionPerformed(ActionEvent evt)
      {
        Type typeOfParam = types[jcombobox_types.getSelectedIndex()];
        Name name;

        try {
          name = new Name(jtexfield_name.getText());
        } catch (InvalidNameException e) {
    View Full Code Here

    Examples of edu.brown.markov.MarkovVertex.Type

        @Override
        protected void callback(MarkovVertex element) {
            MarkovGraph markov = (MarkovGraph)this.getGraph();
            // HACK
            final DynamicTransactionEstimate est = (this.markov_est != null ? this.markov_est : element);
            final Type vtype = element.getType();
           
            if (debug.val) {
                if (this.getCounter() > 1) LOG.debug(StringUtil.repeat("-", 100));
                LOG.debug(String.format("BEFORE: %s\n%s", element, element.debug()));
                // LOG.debug("BEFORE: " + element + " => " + est.getSinglePartitionProbability());
    View Full Code Here

    Examples of edu.hawaii.ics.csdl.jupiter.model.reviewissue.Type

       * Sets up the necessary item type instances.
       *
       * @exception Exception if errors occur in implementing class.
       */
      protected void setUp() throws Exception {
        this.defect = new Type(ResourceBundleKey.ITEM_KEY_TYPE_DEFECT, 0);
        this.externalIssue = new Type(ResourceBundleKey.ITEM_KEY_TYPE_EXTERNAL_ISSUE, 1);
        this.question = new Type(ResourceBundleKey.ITEM_KEY_TYPE_QUESTION, 2);
        this.praise = new Type(ResourceBundleKey.ITEM_KEY_TYPE_PRAISE, 3);
        this.critical = new Severity(ResourceBundleKey.ITEM_KEY_SEVERITY_CRITICAL, 0);
        this.major = new Severity(ResourceBundleKey.ITEM_KEY_SEVERITY_MAJOR, 1);
        this.normal = new Severity(ResourceBundleKey.ITEM_KEY_SEVERITY_NORMAL, 2);
        this.minor = new Severity(ResourceBundleKey.ITEM_KEY_SEVERITY_MINOR, 3);
        this.trivial = new Severity(ResourceBundleKey.ITEM_KEY_SEVERITY_TRIVIAL, 4);
    View Full Code Here

    Examples of edu.indiana.extreme.xbaya.event.Event.Type

        /**
         * @see edu.indiana.extreme.xbaya.event.EventListener#eventReceived(edu.indiana.extreme.xbaya.event.Event)
         */
        public void eventReceived(Event event) {
            logger.entering();
            Type type = event.getType();
            if (type.equals(Event.Type.MONITOR_CONFIGURATION_CHANGED)) {
                MonitorConfiguration configuration = this.engine.getMonitor()
                        .getConfiguration();
                boolean valid = configuration.isValid();
                this.startMenuItem.setEnabled(valid);
            } else if (type.equals(Event.Type.MONITOR_STARTED)) {
                this.startMenuItem.setEnabled(false);
                this.stopMenuItem.setEnabled(true);
                this.resetMenuItem.setEnabled(true);
            } else if (type.equals(Event.Type.MONITOR_STOPED)) {
                this.startMenuItem.setEnabled(true);
                this.stopMenuItem.setEnabled(false);
            } else if (type.equals(Event.Type.KARMA_STARTED)) {
                this.resetMenuItem.setEnabled(true);
            }
        }
    View Full Code Here

    Examples of edu.indiana.extreme.xbaya.xregistry.XRegistryComponent.Type

            } catch (URISyntaxException e) {
                this.engine.getErrorWindow().error(ErrorMessages.URL_WRONG, e);
                return;
            }

            Type type;
            if (this.concreteRadioButton.isSelected()) {
                type = Type.CONCRETE;
            } else {
                type = Type.ABSTRACT;
            }
    View Full Code Here

    Examples of edu.mit.csail.sdg.alloy4compiler.ast.Type

                for(ExprVar sk:frame.skolems) un.seen(sk.label);
                // Store up the skolems
                List<Object> skolems = new ArrayList<Object>();
                for(Map.Entry<Relation,Type> e: frame.rel2type.entrySet()) {
                   Relation r = e.getKey(); if (!frame.eval.instance().contains(r)) continue;
                   Type t = e.getValue();   if (t.arity() > r.arity()) continue; // Something is wrong; let's skip it
                   while (t.arity() < r.arity()) t = UNIV.type().product(t);
                   String n = Util.tail(r.name());
                   while(n.length()>0 && n.charAt(0)=='$') n = n.substring(1);
                   skolems.add(n);
                   skolems.add(t);
                   skolems.add(r);
                }
                // Find all suitable "next" or "prev" relations
                nexts = new LinkedHashMap<Sig,List<Tuple>>();
                for(Sig sig:frame.sigs) for(Field f: sig.getFields()) if (f.label.compareToIgnoreCase("next")==0) {
                   List<List<PrimSig>> fold = f.type().fold();
                   if (fold.size()==1) {
                      List<PrimSig> t = fold.get(0);
                      if (t.size()==3 && t.get(0).isOne!=null && t.get(1)==t.get(2) && !nexts.containsKey(t.get(1))) {
                         TupleSet set = frame.eval.evaluate(frame.a2k(t.get(1)));
                         if (set.size()<=1) continue;
                         TupleSet next = frame.eval.evaluate(frame.a2k(t.get(0)).join(frame.a2k(f)));
                         List<Tuple> test = isOrder(next, set);
                         if (test!=null) nexts.put(t.get(1), test);
                      } else if (t.size()==2 && t.get(0)==t.get(1) && !nexts.containsKey(t.get(0))) {
                         TupleSet set = frame.eval.evaluate(frame.a2k(t.get(0)));
                         if (set.size()<=1) continue;
                         TupleSet next = frame.eval.evaluate(frame.a2k(f));
                         List<Tuple> test = isOrder(next, set);
                         if (test!=null) nexts.put(t.get(1), test);
                      }
                   }
                }
                for(Sig sig:frame.sigs) for(Field f: sig.getFields()) if (f.label.compareToIgnoreCase("prev")==0) {
                   List<List<PrimSig>> fold = f.type().fold();
                   if (fold.size()==1) {
                      List<PrimSig> t = fold.get(0);
                      if (t.size()==3 && t.get(0).isOne!=null && t.get(1)==t.get(2) && !nexts.containsKey(t.get(1))) {
                         TupleSet set = frame.eval.evaluate(frame.a2k(t.get(1)));
                         if (set.size()<=1) continue;
                         TupleSet next = frame.eval.evaluate(frame.a2k(t.get(0)).join(frame.a2k(f)).transpose());
                         List<Tuple> test = isOrder(next, set);
                         if (test!=null) nexts.put(t.get(1), test);
                      } else if (t.size()==2 && t.get(0)==t.get(1) && !nexts.containsKey(t.get(0))) {
                         TupleSet set = frame.eval.evaluate(frame.a2k(t.get(0)));
                         if (set.size()<=1) continue;
                         TupleSet next = frame.eval.evaluate(frame.a2k(f).transpose());
                         List<Tuple> test = isOrder(next, set);
                         if (test!=null) nexts.put(t.get(1), test);
                      }
                   }
                }
                // Assign atom->name and atom->MostSignificantSig
                for(Tuple t:frame.eval.evaluate(Relation.INTS)) { frame.atom2sig.put(t.atom(0), SIGINT); }
                for(Tuple t:frame.eval.evaluate(KK_SEQIDX))     { frame.atom2sig.put(t.atom(0), SEQIDX); }
                for(Tuple t:frame.eval.evaluate(KK_STRING))     { frame.atom2sig.put(t.atom(0), STRING); }
                for(Sig sig:frame.sigs) if (sig instanceof PrimSig && !sig.builtin && ((PrimSig)sig).isTopLevel()) rename(frame, (PrimSig)sig, nexts, un);
                // These are redundant atoms that were not chosen to be in the final instance
                int unused=0;
                for(Tuple tuple:frame.eval.evaluate(Relation.UNIV)) {
                   Object atom = tuple.atom(0);
                   if (!frame.atom2sig.containsKey(atom)) { frame.atom2name.put(atom, "unused"+unused); unused++; }
                }
                // Add the skolems
                for(int num=skolems.size(), i=0; i<num-2; i=i+3) {
                    String n = (String) skolems.get(i);
                    while(n.length()>0 && n.charAt(0)=='$') n=n.substring(1);
                    Type t = (Type) skolems.get(i+1);
                    Relation r = (Relation) skolems.get(i+2);
                    frame.addSkolem(un.make("$"+n), t, r);
                }
                return;
            }
            for(PrimSig c: s.children()) rename(frame, c, nexts, un);
            String signame = un.make(s.label.startsWith("this/") ? s.label.substring(5) : s.label);
            List<Tuple> list = new ArrayList<Tuple>();
            for(Tuple t: frame.eval.evaluate(frame.a2k(s))) list.add(t);
            List<Tuple> order = nexts.get(s);
            if (order!=null && order.size()==list.size() && order.containsAll(list)) { list=order; }
            int i = 0;
            for(Tuple t: list) {
               if (frame.atom2sig.containsKey(t.atom(0))) continue; // This means one of the subsig has already claimed this atom.
               String x = signame + "$" + i;
               i++;
               frame.atom2sig.put(t.atom(0), s);
               frame.atom2name.put(t.atom(0), x);
               ExprVar v = ExprVar.make(null, x, s.type());
               TupleSet ts = t.universe().factory().range(t, t);
               Relation r = Relation.unary(x);
               frame.eval.instance().add(r, ts);
               frame.a2k.put(v, r);
               frame.atoms.add(v);
            }
    View Full Code Here

    Examples of edu.nyu.acsys.CVC4.Type

          System.out.println();

          ExprManager em = new ExprManager();
          SmtEngine smt = new SmtEngine(em);

          Type t = em.booleanType();
          Expr a = em.mkVar("a", em.booleanType());
          Expr b = em.mkVar("b", em.booleanType());
          Expr e = new Expr(em.mkExpr(Kind.AND, a, b, new Expr(a).notExpr()));
          System.out.println("==> " + e);
    View Full Code Here
    TOP
    Copyright © 2018 www.massapi.com. All rights reserved.
    All source code are property of their respective owners. Java is a trademark of Sun Microsystems, Inc and owned by ORACLE Inc. Contact coftware#gmail.com.