Examples of check()

Examples of com.sun.msv.reader.relax.core.checker.DblAttrConstraintChecker.check()

416
417
418
419
420
421
422
423
424
425
426
       
        Iterator itr = module.tags.iterator();
        while( itr.hasNext() )
            // errors will be reported within this method
            // no recovery is necessary.
            checker.check( (TagClause)itr.next(), this );
    }

   
    private void detectCollision( ReferenceContainer col1, ReferenceContainer col2, String errMsg ) {
        Iterator itr = col1.iterator();
View Full Code Here

Examples of com.sun.tools.javac.comp.Attr.ResultInfo.check()

888
889
890
891
892
893
894
895
896
897
898
        }

        @Override
        void checkArg(DiagnosticPosition pos, boolean varargs, Type actual, Type formal, DeferredAttrContext deferredAttrContext, Warner warn) {
            ResultInfo mresult = methodCheckResult(varargs, formal, deferredAttrContext, warn);
            mresult.check(pos, actual);
        }

        private ResultInfo methodCheckResult(final boolean varargsCheck, Type to,
                final DeferredAttr.DeferredAttrContext deferredAttrContext, Warner rsWarner) {
            CheckContext checkContext = new MethodCheckContext(!deferredAttrContext.phase.isBoxingRequired(), deferredAttrContext, rsWarner) {
View Full Code Here

Examples of com.sun.tools.javac.comp.DeferredAttr.DeferredType.check()

971
972
973
974
975
976
977
978
979
980
981
        @Override
        protected Type check(DiagnosticPosition pos, Type found) {
            if (found.hasTag(DEFERRED)) {
                DeferredType dt = (DeferredType)found;
                return dt.check(this);
            } else {
                return super.check(pos, chk.checkNonVoid(pos, types.capture(U(found.baseType()))));
            }
        }
View Full Code Here

Examples of dk.brics.relaxng.Grammar.check()

144
145
146
147
148
149
150
151
152
153
154
      Map<String,SequenceNode> m3 = rrng2xg.getDefineNodes();
      for (Map.Entry<String,String> e : m1.entrySet())
        types.put(e.getKey(), m3.get(m2.get(e.getValue())));
    } else if (u.endsWith(".rrng") || u.endsWith(".rng")) {
      Grammar rrng = rngparser.parse(url);
      if (!rrng.check(System.err))
        throw new ParseException("Schema is not Restricted RELAX NG " + url);
      if (extend)
        rrng2xg.extend(rrng);
      else
        xg = rrng2xg.convert(rrng);
View Full Code Here

Examples of edu.mit.csail.sdg.alloy4compiler.parser.CompModule.Context.check()

91
92
93
94
95
96
97
98
99
100
101
        for(int n=params.size(), i=0; i<n; i++) {
            Expr tmp = args.get(i);
            if (!(tmp instanceof Macro)) tmp = tmp.resolve(tmp.type(), warnings);
            cx2.put(params.get(i).label, tmp);
        }
        return cx2.check(body);
    }

    /** {@inheritDoc} */
    @Override public void toString(StringBuilder out, int indent) {
        if (indent<0) {
View Full Code Here

Examples of etch.compiler.ast.Module.check()

382
383
384
385
386
387
388
389
390
391
392
        try
        {
            m = parser.module( clo );
            clo.lh.report( LogHandler.LEVEL_INFO, "Parsed Ok." );
           
            m.check();
            clo.lh.report( LogHandler.LEVEL_INFO, "Checked Ok." );
        }
        catch ( ParseException e )
        {
            String fmt = e.getMessage();
View Full Code Here

Examples of etch.compiler.opt.Authorize.check()

411
412
413
414
415
416
417
418
419
420
421
    for (Thrown n: thrown)
      n.check();

    Authorize auth = getAuth();
    if (auth != null)
      auth.check( parent(), this );
  }

  @Override
  public Service service()
  {
View Full Code Here

Examples of eu.stratosphere.compiler.contextcheck.ContextChecker.check()

168
169
170
171
172
173
174
175
176
177
178
    if (parallelism > 0 && p.getDefaultParallelism() <= 0) {
      p.setDefaultParallelism(parallelism);
    }
   
    ContextChecker checker = new ContextChecker();
    checker.check(p);
    return this.compiler.compile(p);
  }
 
 
  /**
 
View Full Code Here

Examples of fi.luomus.commons.utils.LintuvaaraAuthenticationUtil.check()

62
63
64
65
66
67
68
69
70
71
72
    LintuvaaraAuthenticationUtil authUtil = new LintuvaaraAuthenticationUtil(decryptor, "pistelaskenta", allowedUserTypes);

    String key = "these you get";
    String iv = "as a parameter";
    String model = "from the user";
    AuthenticationResult result = authUtil.check(key, iv, model);
    if (result.success()) {
      // do something...
      result.getUsermodel().get("login_id");
    } else {
      // do something else
View Full Code Here

Examples of fj.test.Property.check()

26
27
28
29
30
31
32
33
    final Property p = property(arbInteger, new F<Integer, Property>() {
      public Property f(final Integer a) {
        return prop(isPositive(a) == (a != 0 && !isNegative(a)));
      }
    });
    summary.println(p.check()); // Falsified after 0 passed tests with argument: 0
  }
}
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.