BINDINGS FOR StringType;

(* Semantic Properties for Dynamic String Types *)


(* ADTs must be opaque pointers,
   character and string literals may be used *)

TYPE = OPAQUE := CHAR;


(* Bindings permitted for StringType ADTs *)

PROCEDURE [NEW]; (* allow binding to NEW procedure *)

PROCEDURE [DISPOSE]; (* allow binding to DISPOSE procedure *)

PROCEDURE [:=]; (* allow binding to assignment operator *)

PROCEDURE [::]; (* allow binding to conversion operator *)

PROCEDURE [.]; (* allow accessor binding to [ ] operator *)

PROCEDURE [!]; (* allow mutator binding to [ ] operator *)

PROCEDURE [LENGTH]; (* allow binding to LENGTH function *)

PROCEDURE [+]; (* allow binding to concatenation operator *)

PROCEDURE [=]; (* allow binding to equal operator *)

PROCEDURE [<]; (* allow binding to less operator *)

PROCEDURE [>]; (* allow binding to greater operator *)

END StringType.