-- Abstract description of an access in an invariant beginning a call
-- expression or instruction or an access after a creation for which there
-- is no standard export validation like in ACCESS_FEAT_AS.

class ACCESS_INV_AS

inherit

	ACCESS_FEAT_AS

feature

end