Examples of type()


Examples of de.dfki.util.xmlrpc.annotation.XmlRpc.type()

       
        //second: annotations for used types
        XmlRpc xmlRpcAnno = AnnotationUtils.getAnnotationForClass( apiParameterClass, XmlRpc.class );
        if( xmlRpcAnno != null )
        {
            xmlRpcType = xmlRpcAnno.type();
            convertableCls = xmlRpcAnno.concrete();
            separateConverterCls = xmlRpcAnno.converter();
           
            //usesConvertable = a concete class != parameter class does conversion
            boolean usesConvertable = !convertableCls.equals( NoParameterBoundConverter.class );
View Full Code Here

Examples of de.mhus.lib.form.annotations.FormElement.type()

           
        }
      }
     
      if (element != null) {
        if (element.type() == TYPE.INCLUDE) {
          String aspectName = null;
          if (!MString.isEmpty(element.aspect()))
              aspectName = prefix + element.aspect() + ".";
          else
            aspectName = prefix + methodName + ".";
View Full Code Here

Examples of de.zalando.sprocwrapper.SProcParam.type()

                    }

                    if (a instanceof SProcParam) {
                        final SProcParam sParam = (SProcParam) a;

                        final String dbTypeName = sParam.type();

                        try {
                            storedProcedure.addParam(StoredProcedureParameter.createParameter(clazz, genericType,
                                    method, dbTypeName, sParam.sqlType(), pos, sParam.sensitive()));
                        } catch (final InstantiationException | IllegalAccessException e) {
View Full Code Here

Examples of easysm.stores.StateObserver.type()

    }
    StateObserverInfo soInfo = new StateObserverInfo(soPine, Type.BOOLEAN, null);
    main.doUpdateStateObserver(so, soInfo);
    assertTrue(soSet.size() == 2);
    assertTrue(so.name().equals(soPine));
    assertTrue(so.type().equals(Type.BOOLEAN));
    assertTrue(so.invariant().equals(Expr.EMPTY));
  }

  @Test
  public void doDeleteStateObserver()
View Full Code Here

Examples of edu.mit.csail.sdg.alloy4compiler.ast.Expr.type()

        final Func f = x.fun;
        final int n = f.count();
        final Object candidate = n==0 ? cacheForConstants.get(f) : null;
        if (candidate!=null) return candidate;
        final Expr body = f.getBody();
        if (body.type().arity()<0 || body.type().arity()!=f.returnDecl.type().arity()) throw new ErrorType(body.span(), "Function return value not fully resolved.");
        for(Func ff:current_function) if (ff==f) throw new ErrorSyntax(x.span(), ""+f+" cannot call itself recursively!");
        Env<ExprVar,Object> newenv = new Env<ExprVar,Object>();
        List<SimTupleset> list = new ArrayList<SimTupleset>(x.args.size());
        for(int i=0; i<n; i++) { SimTupleset ts = cset(x.args.get(i)); newenv.put(f.get(i), ts);  list.add(ts); }
        final SimCallback cb = callbacks.get(f);
View Full Code Here

Examples of edu.mit.csail.sdg.alloy4compiler.ast.ExprVar.type()

       }
       for(Map.Entry<Expr,TupleSet> e:expr2ts.entrySet()) {
          ExprVar v = (ExprVar)(e.getKey());
          TupleSet ts = e.getValue();
          Relation r = sol.addRel(v.label, ts, ts);
          sol.kr2type(r, v.type());
       }
       // Done!
       sol.solve(null, null, null, false);
    }
View Full Code Here

Examples of edu.mit.csail.sdg.alloy4compiler.ast.Func.type()

                  else if (rootfield==null || rootfield.expr.mult()==ExprUnary.Op.EXACTLYOF)
                  { x=ExprUnary.Op.NOOP.make(pos, f, null, 1); } // penalty of 1
                  if (x!=null) { ch.add(x); re.add("field "+f.sig.label+" <: "+f.label); }
               } else if (rootfield==null || rootsig.isSameOrDescendentOf(f.sig)) {
                  Expr x0 = ExprUnary.Op.NOOP.make(pos, f, null, 0);
                  if (resolution==2 && THIS!=null && fullname.charAt(0)!='@' && f.type().firstColumnOverlaps(THIS.type())) {
                     ch.add(THIS.join(x0));
                     re.add("field "+f.sig.label+" <: this."+f.label);
                     if (rootsig!=null) continue;
                  }
                  ch.add(x0);
View Full Code Here

Examples of edu.mit.csail.sdg.alloy4compiler.ast.Sig.Field.type()

               frame.addFormula(cform(form), f);
               // Given the above, we can be sure that every column is well-bounded (except possibly the first column).
               // Thus, we need to add a bound that the first column is a subset of s.
               if (s.isOne==null) {
                   Expression sr = a2k(s), fr = a2k(f);
                   for(int i=f.type().arity(); i>1; i--) fr=fr.join(Relation.UNIV);
                   frame.addFormula(fr.in(sr), f);
               }
            }
            if (s.isOne==null && d.disjoint2!=null) for(ExprHasName f: d.names) {
               Decl that = s.oneOf("that");
View Full Code Here

Examples of er.rest.ERXRestRequestNode.type()

  public <T> T objectWithPath(String path) throws HttpException, IOException {
    HttpClient client = httpClient();
    GetMethod fetchObjectMethod = new GetMethod(new ERXMutableURL(_baseURL).appendPath(path).toExternalForm());
    client.executeMethod(fetchObjectMethod);
    ERXRestRequestNode node = requestNodeWithMethod(fetchObjectMethod);
    String type = node.type();
    return (T) _objectWithRequestNode(node, type);
  }

  public ERXRestRequestNode update(Object obj, ERXKeyFilter filter, String entityName, String id, String action, ERXRestFormat format) throws HttpException, IOException {
    return updateObjectWithPath(obj, filter, path(entityName, id, action, format), format);
View Full Code Here

Examples of erjang.BIF.type()

    private static String erlangNameOfMethod(Method method) {
        BIF bif_ann = method.getAnnotation(BIF.class);
        if (bif_ann != null) {
            String bif_name = bif_ann.name().equals("__SELFNAME__") ? method.getName() : bif_ann.name();
            if (bif_ann.type() == BIF.Type.GUARD) return bif_name + "\1";
            else return bif_name;
        } else {
            return method.getName();
        }
    }
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.