Does LCL support subtyping?

To: larch-interest@src.dec.com
Subject: Does LCL support subtyping?
From: "Daniel W. Connolly" <connolly@hal.com>
Date: Thu, 05 Jan 1995 15:50:40 -0600
Delivery-Date: Thu, 05 Jan 95 14:10:56 -0800


Strictly speaking, the ANSI C type system is pretty flat:
you have void *refany, struct _opaque *refT,
and struct { int x} *refRec.

But folks go through some contortions to simulate SmallTalk-like
objects; for example, Xt Widgets.

Is there any way to express the Modula-3 "<:" concept in LCL?

Perhaps this is supported in the C++ interface language, but I
can't seem to conjure up any info on that stuff. (The address
	http://www.cs.iastate.edu/~leavens/larchc++.html
seems to be out of date.)


Dan

Follow-Up(s):

Re: Does LCL support subtyping?

From: leavens@cs.iastate.edu (Gary Leavens)

Prev: Can the Larch Prover be used on LSL traits?
Next: Re: library of specifications
Index: Larch archive index