Search results
From Erights
You searched for Print
There is no page titled "Print". You can create this page.
For more information about searching Erights, see Searching Erights.
Showing below up to 20 results starting with #1.
View (previous 20) (next 20) (20 | 50 | 100 | 250 | 500).
No page title matches
Page text matches
- Walnut/Ordinary Programming/Interfacing to Java (9,688 bytes)
59: ...f the arguments. In this example, we see that the print function for the System.out object is overloaded ...
63: # value: <a PrintStream>
65: ? out.print("abc")
68: ? out."print(String)"("abc")</nowiki>
71: ...r in E syntax. Here, the verb is exactly “<code>print(String)</code>”. - Walnut/Ordinary Programming/Ordinary Computing Examples (14,560 bytes)
23: def traceln(text) { stderr.println(text) }
51: to printOn(writer) {writer.print(`coord: $x,$y`)} - Walnut/Ordinary Programming/Objects and Functions (24,085 bytes)
156: ...ar function to make a car, which we will move and print
159: println(`The car ${sportsCar.getName()} is at X locatio...
252: println(`default capacity is: ${makeQueue.getDEFAULT_CA...
370: println(`The car can go ${car.milesTillEmpty()} miles.`...
517: ...anda Methods. One example of such a method is the printOn(textWriter) method, which defines how an object... - Walnut/Distributed Computing (39,418 bytes)
102: println(`File has text: $text`)
103: } catch p2 {println(`Problem with existing file: $p2`)}
104: } else {println("File does not exist")}
105: } catch prob {println(`Problem reaching file: $prob`)}
110: Here, we want to print the text of a farFile, but we want to be sure the... - Walnut/Advanced Topics/Build your Own Guards (4,275 bytes)
45: to __printOn(out :TextWriter) :void {
46: out.print(brandName)
51: to __printOn(out :TextWriter) :void {
52: out.print(`<$brandName prover>`)
66: to __printOn(out :TextWriter) :void { - Safe Serialization Under Mutual Suspicion/Introducing Data E (39,301 bytes)
6: ...g a subset of our code reading skills. When these printing systems do so reliably, they are often grown i...
11: * The printed form of a Java object is simply its response to...
15: ...uate for calculating an overall depiction. In the printing frameworks, like Java's <tt>toString()</tt>, t...
48: ...''''<font color="#009000">E</font>''''' read-eval-print loop. The "?" is the '''''<font color="#009000">E...
258: > to __printOn(out :TextWriter) :void { - Walnut/Appendix (2,778 bytes)
29: ... the objects on the way to constructing what gets printed, as in </font> - Walnut/Secure Distributed Computing/Capabilities (9,788 bytes)
60: ...object System.out, to which people routinely sent print messages, was replaceable. A programmer in the mi... - Updoc (2,778 bytes)
38: ===Printing===
40: ...code>stderr</code>, <code>print</code>, and <code>println</code> is part of the results checked.
43: ...of the step, but before the <code>value</code> is printed
50: ? stdout.print("a")
53: ? stdout.print("a\n") - Walnut/Distributed Computing/Partial Ordering Of Sent Messages (4,533 bytes)
19: println(`Car $nameVow has arrived`)
20: } catch e {println("A car did not make it")}
22: println ("Cars have been told to move, but no print of any arrivals has yet occurred")
27: ...eturn its resolution so the arrival message could print--all three of those events being independent, and...
29: ...) function described later if we wanted to try to print the name of the car in the catch clause in those ... - PassByConstruction (2,789 bytes)
29: to __printOn(out) {out.print(`<Vector $x $y>`)}
54: ... the new vat. The method accepts a pbc object and prints it.
55: ? def scriptSource:="def run(thing :pbc) {println(`Thing: $thing`)}"
56: # value: "def run(thing :near) {println(`Thing: $thing`)}" - Boolean (2,380 bytes)
1: ...and <code>true</code>. All three of these objects print with those names. - Smalltalk-style syntax (1,774 bytes)
9: __printOn: out = the void {
10: out print: `<$name's mint>`.
20: __printOn: out = the void {
21: out print: `<has $balance $name bucks>`. - Walnut/Distributed Computing/Testing for Equality in a Distributed System (4,990 bytes)
20: println("My car is in pole position")
56: println(`miles before empty = $milesVow`)
57: } catch e {println(`Error: $e`)}</nowiki>
61: ...en this computation is resolved, the program will print the value. However, before we can do the computat... - Proposed Asynchronous Control Flow Operators (10,045 bytes)
77: print(e)
93: print(e)
235: print "eventually connected, but socket is closed"
239: print e
263: print "eventually connected, but socket is closed" - Heftza (63,848 bytes)
411: $console.print($i.to-string);
413: $console.print("zero.integer not found");
422: $console.print($s);
424: $console.print("zero.integer not found");
438: $console.print("zero.integer not found"); - Guard (1,264 bytes)
3: ...rs of Guard should always override __printOn/1 to print a guard expression reflecting the guard's value. - SturdyRef (3,389 bytes)
38: ...s they are to the current vat, in which case they print as "<SturdyRef to <var>referent</var>>".
48: {{XXX|is the above behavior, printing as a far sturdyref until the promise resolves,... - DefineExpr (2,797 bytes)
63: ? def x :int exit def _(e) :void { print(e); throw("biff") } := 9
66: ? def x :String exit def _(e) :void { print(e); throw("biff") } := 9
73: ? def [[ViaPattern|via]] (fn s,_ {println("patt"); throw("exit")}) x \
74: > exit (println("ejector"); null) \
75: > := (println("specimen"); 8) - ReleaseNotes092 (4,853 bytes)
67: ...bug that the printing subsystem could in order to print them differently.
View (previous 20) (next 20) (20 | 50 | 100 | 250 | 500).
