Edit File by line

<!doctype html>

[0] Fix | Delete

[1] Fix | Delete

<title>CodeMirror: Eiffel mode</title>

[2] Fix | Delete

[3] Fix | Delete

[4] Fix | Delete

[5] Fix | Delete

[6] Fix | Delete

[7] Fix | Delete

[8] Fix | Delete

[9] Fix | Delete

<style>

[10] Fix | Delete

.CodeMirror {border-top: 1px solid black; border-bottom: 1px solid black;}

[11] Fix | Delete

.cm-s-default span.cm-arrow { color: red; }

[12] Fix | Delete

</style>

[13] Fix | Delete

[14] Fix | Delete

<a href="http://codemirror.net"><h1>CodeMirror</h1><img id=logo src="../../doc/logo.png"></a>

[15] Fix | Delete

[16] Fix | Delete

<ul>

[17] Fix | Delete

[18] Fix | Delete

<li><a href="../../doc/manual.html">Manual</a>

[19] Fix | Delete

[20] Fix | Delete

</ul>

[21] Fix | Delete

<ul>

[22] Fix | Delete

<li><a href="../index.html">Language modes</a>

[23] Fix | Delete

<li><a class=active href="#">Eiffel</a>

[24] Fix | Delete

</ul>

[25] Fix | Delete

</div>

[26] Fix | Delete

[27] Fix | Delete

[28] Fix | Delete

<h2>Eiffel mode</h2>

[29] Fix | Delete

[30] Fix | Delete

note

[31] Fix | Delete

description: "[

[32] Fix | Delete

Project-wide universal properties.

[33] Fix | Delete

This class is an ancestor to all developer-written classes.

[34] Fix | Delete

ANY may be customized for individual projects or teams.

[35] Fix | Delete

[36] Fix | Delete

[37] Fix | Delete

library: "Free implementation of ELKS library"

[38] Fix | Delete

status: "See notice at end of class."

[39] Fix | Delete

legal: "See notice at end of class."

[40] Fix | Delete

date: "$Date: 2013-01-25 11:49:00 -0800 (Fri, 25 Jan 2013) $"

[41] Fix | Delete

revision: "$Revision: 712 $"

[42] Fix | Delete

[43] Fix | Delete

class

[44] Fix | Delete

ANY

[45] Fix | Delete

[46] Fix | Delete

feature -- Customization

[47] Fix | Delete

[48] Fix | Delete

feature -- Access

[49] Fix | Delete

[50] Fix | Delete

generator: STRING

[51] Fix | Delete

-- Name of current object's generating class

[52] Fix | Delete

-- (base class of the type of which it is a direct instance)

[53] Fix | Delete

external

[54] Fix | Delete

"built_in"

[55] Fix | Delete

ensure

[56] Fix | Delete

generator_not_void: Result /= Void

[57] Fix | Delete

generator_not_empty: not Result.is_empty

[58] Fix | Delete

end

[59] Fix | Delete

[60] Fix | Delete

generating_type: TYPE [detachable like Current]

[61] Fix | Delete

-- Type of current object

[62] Fix | Delete

-- (type of which it is a direct instance)

[63] Fix | Delete

[64] Fix | Delete

Result := {detachable like Current}

[65] Fix | Delete

ensure

[66] Fix | Delete

generating_type_not_void: Result /= Void

[67] Fix | Delete

end

[68] Fix | Delete

[69] Fix | Delete

feature -- Status report

[70] Fix | Delete

[71] Fix | Delete

conforms_to (other: ANY): BOOLEAN

[72] Fix | Delete

-- Does type of current object conform to type

[73] Fix | Delete

-- of `other' (as per Eiffel: The Language, chapter 13)?

[74] Fix | Delete

require

[75] Fix | Delete

other_not_void: other /= Void

[76] Fix | Delete

external

[77] Fix | Delete

"built_in"

[78] Fix | Delete

end

[79] Fix | Delete

[80] Fix | Delete

same_type (other: ANY): BOOLEAN

[81] Fix | Delete

-- Is type of current object identical to type of `other'?

[82] Fix | Delete

require

[83] Fix | Delete

other_not_void: other /= Void

[84] Fix | Delete

external

[85] Fix | Delete

"built_in"

[86] Fix | Delete

ensure

[87] Fix | Delete

definition: Result = (conforms_to (other) and

[88] Fix | Delete

other.conforms_to (Current))

[89] Fix | Delete

end

[90] Fix | Delete

[91] Fix | Delete

feature -- Comparison

[92] Fix | Delete

[93] Fix | Delete

is_equal (other: like Current): BOOLEAN

[94] Fix | Delete

-- Is `other' attached to an object considered

[95] Fix | Delete

-- equal to current object?

[96] Fix | Delete

require

[97] Fix | Delete

other_not_void: other /= Void

[98] Fix | Delete

external

[99] Fix | Delete

"built_in"

[100] Fix | Delete

ensure

[101] Fix | Delete

symmetric: Result implies other ~ Current

[102] Fix | Delete

consistent: standard_is_equal (other) implies Result

[103] Fix | Delete

end

[104] Fix | Delete

[105] Fix | Delete

frozen standard_is_equal (other: like Current): BOOLEAN

[106] Fix | Delete

-- Is `other' attached to an object of the same type

[107] Fix | Delete

-- as current object, and field-by-field identical to it?

[108] Fix | Delete

require

[109] Fix | Delete

other_not_void: other /= Void

[110] Fix | Delete

external

[111] Fix | Delete

"built_in"

[112] Fix | Delete

ensure

[113] Fix | Delete

same_type: Result implies same_type (other)

[114] Fix | Delete

symmetric: Result implies other.standard_is_equal (Current)

[115] Fix | Delete

end

[116] Fix | Delete

[117] Fix | Delete

frozen equal (a: detachable ANY; b: like a): BOOLEAN

[118] Fix | Delete

-- Are `a' and `b' either both void or attached

[119] Fix | Delete

-- to objects considered equal?

[120] Fix | Delete

[121] Fix | Delete

if a = Void then

[122] Fix | Delete

Result := b = Void

[123] Fix | Delete

else

[124] Fix | Delete

Result := b /= Void and then

[125] Fix | Delete

a.is_equal (b)

[126] Fix | Delete

end

[127] Fix | Delete

ensure

[128] Fix | Delete

definition: Result = (a = Void and b = Void) or else

[129] Fix | Delete

((a /= Void and b /= Void) and then

[130] Fix | Delete

a.is_equal (b))

[131] Fix | Delete

end

[132] Fix | Delete

[133] Fix | Delete

frozen standard_equal (a: detachable ANY; b: like a): BOOLEAN

[134] Fix | Delete

-- Are `a' and `b' either both void or attached to

[135] Fix | Delete

-- field-by-field identical objects of the same type?

[136] Fix | Delete

-- Always uses default object comparison criterion.

[137] Fix | Delete

[138] Fix | Delete

if a = Void then

[139] Fix | Delete

Result := b = Void

[140] Fix | Delete

else

[141] Fix | Delete

Result := b /= Void and then

[142] Fix | Delete

a.standard_is_equal (b)

[143] Fix | Delete

end

[144] Fix | Delete

ensure

[145] Fix | Delete

definition: Result = (a = Void and b = Void) or else

[146] Fix | Delete

((a /= Void and b /= Void) and then

[147] Fix | Delete

a.standard_is_equal (b))

[148] Fix | Delete

end

[149] Fix | Delete

[150] Fix | Delete

frozen is_deep_equal (other: like Current): BOOLEAN

[151] Fix | Delete

-- Are `Current' and `other' attached to isomorphic object structures?

[152] Fix | Delete

require

[153] Fix | Delete

other_not_void: other /= Void

[154] Fix | Delete

external

[155] Fix | Delete

"built_in"

[156] Fix | Delete

ensure

[157] Fix | Delete

shallow_implies_deep: standard_is_equal (other) implies Result

[158] Fix | Delete

same_type: Result implies same_type (other)

[159] Fix | Delete

symmetric: Result implies other.is_deep_equal (Current)

[160] Fix | Delete

end

[161] Fix | Delete

[162] Fix | Delete

frozen deep_equal (a: detachable ANY; b: like a): BOOLEAN

[163] Fix | Delete

-- Are `a' and `b' either both void

[164] Fix | Delete

-- or attached to isomorphic object structures?

[165] Fix | Delete

[166] Fix | Delete

if a = Void then

[167] Fix | Delete

Result := b = Void

[168] Fix | Delete

else

[169] Fix | Delete

Result := b /= Void and then a.is_deep_equal (b)

[170] Fix | Delete

end

[171] Fix | Delete

ensure

[172] Fix | Delete

shallow_implies_deep: standard_equal (a, b) implies Result

[173] Fix | Delete

both_or_none_void: (a = Void) implies (Result = (b = Void))

[174] Fix | Delete

same_type: (Result and (a /= Void)) implies (b /= Void and then a.same_type (b))

[175] Fix | Delete

symmetric: Result implies deep_equal (b, a)

[176] Fix | Delete

end

[177] Fix | Delete

[178] Fix | Delete

feature -- Duplication

[179] Fix | Delete

[180] Fix | Delete

frozen twin: like Current

[181] Fix | Delete

-- New object equal to `Current'

[182] Fix | Delete

-- `twin' calls `copy'; to change copying/twinning semantics, redefine `copy'.

[183] Fix | Delete

external

[184] Fix | Delete

"built_in"

[185] Fix | Delete

ensure

[186] Fix | Delete

twin_not_void: Result /= Void

[187] Fix | Delete

is_equal: Result ~ Current

[188] Fix | Delete

end

[189] Fix | Delete

[190] Fix | Delete

copy (other: like Current)

[191] Fix | Delete

-- Update current object using fields of object attached

[192] Fix | Delete

-- to `other', so as to yield equal objects.

[193] Fix | Delete

require

[194] Fix | Delete

other_not_void: other /= Void

[195] Fix | Delete

type_identity: same_type (other)

[196] Fix | Delete

external

[197] Fix | Delete

"built_in"

[198] Fix | Delete

ensure

[199] Fix | Delete

is_equal: Current ~ other

[200] Fix | Delete

end

[201] Fix | Delete

[202] Fix | Delete

frozen standard_copy (other: like Current)

[203] Fix | Delete

-- Copy every field of `other' onto corresponding field

[204] Fix | Delete

-- of current object.

[205] Fix | Delete

require

[206] Fix | Delete

other_not_void: other /= Void

[207] Fix | Delete

type_identity: same_type (other)

[208] Fix | Delete

external

[209] Fix | Delete

"built_in"

[210] Fix | Delete

ensure

[211] Fix | Delete

is_standard_equal: standard_is_equal (other)

[212] Fix | Delete

end

[213] Fix | Delete

[214] Fix | Delete

frozen clone (other: detachable ANY): like other

[215] Fix | Delete

-- Void if `other' is void; otherwise new object

[216] Fix | Delete

-- equal to `other'

[217] Fix | Delete

[218] Fix | Delete

-- For non-void `other', `clone' calls `copy';

[219] Fix | Delete

-- to change copying/cloning semantics, redefine `copy'.

[220] Fix | Delete

obsolete

[221] Fix | Delete

"Use `twin' instead."

[222] Fix | Delete

[223] Fix | Delete

if other /= Void then

[224] Fix | Delete

Result := other.twin

[225] Fix | Delete

end

[226] Fix | Delete

ensure

[227] Fix | Delete

equal: Result ~ other

[228] Fix | Delete

end

[229] Fix | Delete

[230] Fix | Delete

frozen standard_clone (other: detachable ANY): like other

[231] Fix | Delete

-- Void if `other' is void; otherwise new object

[232] Fix | Delete

-- field-by-field identical to `other'.

[233] Fix | Delete

-- Always uses default copying semantics.

[234] Fix | Delete

obsolete

[235] Fix | Delete

"Use `standard_twin' instead."

[236] Fix | Delete

[237] Fix | Delete

if other /= Void then

[238] Fix | Delete

Result := other.standard_twin

[239] Fix | Delete

end

[240] Fix | Delete

ensure

[241] Fix | Delete

equal: standard_equal (Result, other)

[242] Fix | Delete

end

[243] Fix | Delete

[244] Fix | Delete

frozen standard_twin: like Current

[245] Fix | Delete

-- New object field-by-field identical to `other'.

[246] Fix | Delete

-- Always uses default copying semantics.

[247] Fix | Delete

external

[248] Fix | Delete

"built_in"

[249] Fix | Delete

ensure

[250] Fix | Delete

standard_twin_not_void: Result /= Void

[251] Fix | Delete

equal: standard_equal (Result, Current)

[252] Fix | Delete

end

[253] Fix | Delete

[254] Fix | Delete

frozen deep_twin: like Current

[255] Fix | Delete

-- New object structure recursively duplicated from Current.

[256] Fix | Delete

external

[257] Fix | Delete

"built_in"

[258] Fix | Delete

ensure

[259] Fix | Delete

deep_twin_not_void: Result /= Void

[260] Fix | Delete

deep_equal: deep_equal (Current, Result)

[261] Fix | Delete

end

[262] Fix | Delete

[263] Fix | Delete

frozen deep_clone (other: detachable ANY): like other

[264] Fix | Delete

-- Void if `other' is void: otherwise, new object structure

[265] Fix | Delete

-- recursively duplicated from the one attached to `other'

[266] Fix | Delete

obsolete

[267] Fix | Delete

"Use `deep_twin' instead."

[268] Fix | Delete

[269] Fix | Delete

if other /= Void then

[270] Fix | Delete

Result := other.deep_twin

[271] Fix | Delete

end

[272] Fix | Delete

ensure

[273] Fix | Delete

deep_equal: deep_equal (other, Result)

[274] Fix | Delete

end

[275] Fix | Delete

[276] Fix | Delete

frozen deep_copy (other: like Current)

[277] Fix | Delete

-- Effect equivalent to that of:

[278] Fix | Delete

-- `copy' (`other' . `deep_twin')

[279] Fix | Delete

require

[280] Fix | Delete

other_not_void: other /= Void

[281] Fix | Delete

[282] Fix | Delete

copy (other.deep_twin)

[283] Fix | Delete

ensure

[284] Fix | Delete

deep_equal: deep_equal (Current, other)

[285] Fix | Delete

end

[286] Fix | Delete

[287] Fix | Delete

feature {NONE} -- Retrieval

[288] Fix | Delete

[289] Fix | Delete

frozen internal_correct_mismatch

[290] Fix | Delete

-- Called from runtime to perform a proper dynamic dispatch on `correct_mismatch'

[291] Fix | Delete

-- from MISMATCH_CORRECTOR.

[292] Fix | Delete

local

[293] Fix | Delete

l_msg: STRING

[294] Fix | Delete

l_exc: EXCEPTIONS

[295] Fix | Delete

[296] Fix | Delete

if attached {MISMATCH_CORRECTOR} Current as l_corrector then

[297] Fix | Delete

l_corrector.correct_mismatch

[298] Fix | Delete

else

[299] Fix | Delete

create l_msg.make_from_string ("Mismatch: ")

[300] Fix | Delete

create l_exc

[301] Fix | Delete

l_msg.append (generating_type.name)

[302] Fix | Delete

l_exc.raise_retrieval_exception (l_msg)

[303] Fix | Delete

end

[304] Fix | Delete

end

[305] Fix | Delete

[306] Fix | Delete

feature -- Output

[307] Fix | Delete

[308] Fix | Delete

io: STD_FILES

[309] Fix | Delete

-- Handle to standard file setup

[310] Fix | Delete

once

[311] Fix | Delete

create Result

[312] Fix | Delete

Result.set_output_default

[313] Fix | Delete

ensure

[314] Fix | Delete

io_not_void: Result /= Void

[315] Fix | Delete

end

[316] Fix | Delete

[317] Fix | Delete

out: STRING

[318] Fix | Delete

-- New string containing terse printable representation

[319] Fix | Delete

-- of current object

[320] Fix | Delete

[321] Fix | Delete

Result := tagged_out

[322] Fix | Delete

ensure

[323] Fix | Delete

out_not_void: Result /= Void

[324] Fix | Delete

end

[325] Fix | Delete

[326] Fix | Delete

frozen tagged_out: STRING

[327] Fix | Delete

-- New string containing terse printable representation

[328] Fix | Delete

-- of current object

[329] Fix | Delete

external

[330] Fix | Delete

"built_in"

[331] Fix | Delete

ensure

[332] Fix | Delete

tagged_out_not_void: Result /= Void

[333] Fix | Delete

end

[334] Fix | Delete

[335] Fix | Delete

print (o: detachable ANY)

[336] Fix | Delete

-- Write terse external representation of `o'

[337] Fix | Delete

-- on standard output.

[338] Fix | Delete

[339] Fix | Delete

if o /= Void then

[340] Fix | Delete

io.put_string (o.out)

[341] Fix | Delete

end

[342] Fix | Delete

end

[343] Fix | Delete

[344] Fix | Delete

feature -- Platform

[345] Fix | Delete

[346] Fix | Delete

Operating_environment: OPERATING_ENVIRONMENT

[347] Fix | Delete

-- Objects available from the operating system

[348] Fix | Delete

once

[349] Fix | Delete

create Result

[350] Fix | Delete

ensure

[351] Fix | Delete

operating_environment_not_void: Result /= Void

[352] Fix | Delete

end

[353] Fix | Delete

[354] Fix | Delete

feature {NONE} -- Initialization

[355] Fix | Delete

[356] Fix | Delete

default_create

[357] Fix | Delete

-- Process instances of classes with no creation clause.

[358] Fix | Delete

-- (Default: do nothing.)

[359] Fix | Delete

[360] Fix | Delete

end

[361] Fix | Delete

[362] Fix | Delete

feature -- Basic operations

[363] Fix | Delete

[364] Fix | Delete

default_rescue

[365] Fix | Delete

-- Process exception for routines with no Rescue clause.

[366] Fix | Delete

-- (Default: do nothing.)

[367] Fix | Delete

[368] Fix | Delete

end

[369] Fix | Delete

[370] Fix | Delete

frozen do_nothing

[371] Fix | Delete

-- Execute a null action.

[372] Fix | Delete

[373] Fix | Delete

end

[374] Fix | Delete

[375] Fix | Delete

frozen default: detachable like Current

[376] Fix | Delete

-- Default value of object's type

[377] Fix | Delete

[378] Fix | Delete

end

[379] Fix | Delete

[380] Fix | Delete

frozen default_pointer: POINTER

[381] Fix | Delete

-- Default value of type `POINTER'

[382] Fix | Delete

-- (Avoid the need to write `p'.`default' for

[383] Fix | Delete

-- some `p' of type `POINTER'.)

[384] Fix | Delete

[385] Fix | Delete

ensure

[386] Fix | Delete

-- Result = Result.default

[387] Fix | Delete

end

[388] Fix | Delete

[389] Fix | Delete

frozen as_attached: attached like Current

[390] Fix | Delete

-- Attached version of Current

[391] Fix | Delete

-- (Can be used during transitional period to convert

[392] Fix | Delete

-- non-void-safe classes to void-safe ones.)

[393] Fix | Delete

[394] Fix | Delete

Result := Current

[395] Fix | Delete

end

[396] Fix | Delete

[397] Fix | Delete

invariant

[398] Fix | Delete

reflexive_equality: standard_is_equal (Current)

[399] Fix | Delete

reflexive_conformance: conforms_to (Current)

[400] Fix | Delete

[401] Fix | Delete

note

[402] Fix | Delete

[403] Fix | Delete

license: "Eiffel Forum License v2 (see http://www.eiffel.com/licensing/forum.txt)"

[404] Fix | Delete

source: "[

[405] Fix | Delete

Eiffel Software

[406] Fix | Delete

5949 Hollister Ave., Goleta, CA 93117 USA

[407] Fix | Delete

Telephone 805-685-1006, Fax 805-685-6869

[408] Fix | Delete

Website http://www.eiffel.com

[409] Fix | Delete

Customer support http://support.eiffel.com

[410] Fix | Delete

[411] Fix | Delete

[412] Fix | Delete

end

[413] Fix | Delete

[414] Fix | Delete

</textarea></form>

[415] Fix | Delete

[416] Fix | Delete

var editor = CodeMirror.fromTextArea(document.getElementById("code"), {

[417] Fix | Delete

mode: "text/x-eiffel",

[418] Fix | Delete

indentUnit: 4,

[419] Fix | Delete

lineNumbers: true,

[420] Fix | Delete

theme: "neat"

[421] Fix | Delete

});

[422] Fix | Delete

</script>

[423] Fix | Delete

[424] Fix | Delete

<p><strong>MIME types defined:</strong> <code>text/x-eiffel</code>.</p>

[425] Fix | Delete

[426] Fix | Delete

<p> Created by <a href="https://github.com/ynh">YNH</a>.</p>

[427] Fix | Delete

</article>

[428] Fix | Delete

[429] Fix | Delete