(* Copyright (C) 1989, Digital Equipment Corporation           *)
(* All rights reserved.                                        *)
(* See the file COPYRIGHT for a full description.              *)

(* File: Field.i3                                              *)
(* Last Modified On Sat Dec 30 09:09:38 1989 By kalsow         *)

INTERFACE Field;

IMPORT Type, String, Value, Expr;

PROCEDURE New (name: String.T;  offset: INTEGER;
                 type: Type.T;  default: Expr.T): Value.T;

PROCEDURE SetOffset (field: Value.T;  newOffset: INTEGER);

PROCEDURE Split (field   : Value.T;
             VAR offset  : INTEGER;
	     VAR type    : Type.T;
             VAR default : Expr.T): BOOLEAN;

PROCEDURE SplitX (field   : Value.T;
              VAR offset  : INTEGER;
              VAR type    : Type.T;
              VAR default : Expr.T);
(* =>  b := Split (field, offset, type, default); <* ASSERT b *> *)

END Field.