|
@@ -2592,18 +2592,11 @@ TYPE
|
|
|
(**** values ****)
|
|
|
|
|
|
Value* = OBJECT (Expression)
|
|
|
- VAR fingerprint-: Fingerprint;
|
|
|
|
|
|
PROCEDURE &InitValue(position: Position);
|
|
|
BEGIN SELF.position := position; resolved := SELF;
|
|
|
END InitValue;
|
|
|
|
|
|
- PROCEDURE SetFingerprint*(CONST fp: Fingerprint);
|
|
|
- BEGIN
|
|
|
- SELF.fingerprint := fp
|
|
|
- END SetFingerprint;
|
|
|
-
|
|
|
-
|
|
|
PROCEDURE Equals*(v: Value):BOOLEAN;
|
|
|
BEGIN HALT(100); (* abstract *) RETURN FALSE; END Equals;
|
|
|
|