PageRenderTime 7ms CodeModel.GetById 1ms app.highlight 2ms RepoModel.GetById 1ms app.codeStats 0ms

/tutorial/backtracking/tiny_prolog/prolog_atom.e

http://github.com/tybor/Liberty
Specman e | 17 lines | 17 code | 0 blank | 0 comment | 0 complexity | 8ce329924739cfc661721cc446b85b1a MD5 | raw file
 1class PROLOG_ATOM
 2inherit
 3	COMPARABLE
 4	HASHABLE
 5	PROLOG_TERM
 6feature
 7	type: INTEGER is type_atom
 8	name: STRING
 9	infix "<"(other: like Current): BOOLEAN is
10		do
11			Result := name < other.name
12		end
13	hash_code: INTEGER is
14		do
15			Result := name.hash_code
16		end
17end