Examples of plus()

Examples of javolution.text.Text.plus()

394
395
396
397
398
399
400
401
402
403
404
        // the text representation of the record values (unknown length).
        Text text = Text.valueOf("{");
        for (Record r = head(), end = tail(); (r = r.getNext()) != end;) {
            text = text.plus(valueOf(r));
            if (r.getNext() != end) {
                text = text.plus(", ");
            }
        }
        return text.plus("}");
    }
View Full Code Here

Examples of javolution.text.Text.plus()

397
398
399
400
401
402
403
404
405
406
407
            text = text.plus(valueOf(r));
            if (r.getNext() != end) {
                text = text.plus(", ");
            }
        }
        return text.plus("}");
    }

    /**
     * Returns the <code>String</code> representation of this
     * {@link FastCollection}.
View Full Code Here

Examples of javolution.text.Text.plus()

205
206
207
208
209
210
211
212
213
214
215
    LogContext logContext = (LogContext) LogContext.getCurrentLogContext();
    if (!logContext.isLogged("debug"))
    return;
    Text tmp = Text.valueOf(messages[0]);
    for (int i=1; i < messages.length; i++) {
    tmp = tmp.plus(messages[i]);
    }
    logContext.logDebug(tmp);
    }
    /**/
    /**
 
View Full Code Here

Examples of javolution.text.Text.plus()

255
256
257
258
259
260
261
262
263
264
265
    LogContext logContext = (LogContext) LogContext.getCurrentLogContext();
    if (!logContext.isLogged("info"))
    return;
    Text tmp = Text.valueOf(messages[0]);
    for (int i = 1; i < messages.length; i++) {
    tmp = tmp.plus(messages[i]);
    }
    logContext.logInfo(tmp);
    }
    /**/
    /**
 
View Full Code Here

Examples of javolution.text.Text.plus()

305
306
307
308
309
310
311
312
313
314
315
    LogContext logContext = (LogContext) LogContext.getCurrentLogContext();
    if (!logContext.isLogged("warning"))
    return;
    Text tmp = Text.valueOf(messages[0]);
    for (int i = 1; i < messages.length; i++) {
    tmp = tmp.plus(messages[i]);
    }
    logContext.logWarning(tmp);
    }
    /**/
    /**
 
View Full Code Here

Examples of javolution.text.Text.plus()

367
368
369
370
371
372
373
374
375
376
377
    LogContext logContext = (LogContext) LogContext.getCurrentLogContext();
    if (!logContext.isLogged("error"))
    return;
    Text tmp = Text.valueOf(messages[0]);
    for (int i = 1; i < messages.length; i++) {
    tmp = tmp.plus(messages[i]);
    }
    logContext.logError(error, tmp);
    }
    /**/
    /**
 
View Full Code Here

Examples of javolution.text.Text.plus()

407
408
409
410
411
412
413
414
415
416
417
    LogContext logContext = (LogContext) LogContext.getCurrentLogContext();
    if (!logContext.isLogged("error"))
    return;
    Text tmp = Text.valueOf(messages[0]);
    for (int i = 1; i < messages.length; i++) {
    tmp = tmp.plus(messages[i]);
    }
    logContext.logError(null, tmp);
    }
    /**/
    /**
 
View Full Code Here

Examples of kodkod.ast.IntExpression.plus()

763
764
765
766
767
768
769
770
771
772
773
            case SHL: i=cint(a); return i.shl(cint(b));
            case SHR: i=cint(a); return i.shr(cint(b));
            case SHA: i=cint(a); return i.sha(cint(b));
            case PLUS:
                obj = visitThis(a);
                if (obj instanceof IntExpression) { i=(IntExpression)obj; return i.plus(cint(b)); }
                s = (Expression)obj; return s.union(cset(b));
            case MINUS:
                // Special exception to allow "0-8" to not throw an exception, where 7 is the maximum allowed integer (when bitwidth==4)
                // (likewise, when bitwidth==5, then +15 is the maximum allowed integer, and we want to allow 0-16 without throwing an exception)
                if (a instanceof ExprConstant && ((ExprConstant)a).op==ExprConstant.Op.NUMBER && ((ExprConstant)a).num()==0)
View Full Code Here

Examples of kodkod.engine.bool.Int.plus()

895
896
897
898
899
900
901
902
903
904
905
    if (ret!=null) return ret;
    final Int first = intExpr.child(0).accept(this);
    final Int[] rest = new Int[intExpr.size()-1];
    for(int i = 0; i < rest.length; i++) {   rest[i] = intExpr.child(i+1).accept(this); }
    switch(intExpr.op()) {
    case PLUS      : ret = first.plus(rest); break;
    case MULTIPLY   : ret = first.multiply(rest); break;
    case AND    : ret = first.and(rest); break;
    case OR      : ret = first.or(rest); break;
    default    :
      throw new IllegalArgumentException("Unknown nary operator: " + intExpr.op());
View Full Code Here

Examples of net.machinemuse.numina.geometry.MusePoint2D.plus()

49
50
51
52
53
54
55
56
57
58
59
        this.gui = gui;
        this.ul = ul;
        this.br = br;
        this.player = player;
        MusePoint2D center = br.plus(ul).times(0.5);
        newKeybindButton = new ClickableButton("New", center.plus(new MusePoint2D(0, -8)), true);
        trashKeybindButton = new ClickableButton("Trash", center.plus(new MusePoint2D(0, 8)), true);
    }

    @Override
    public void onMouseDown(double x, double y, int button) {
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.