Google Groups no longer supports new Usenet posts or subscriptions. Historical content remains viewable.
Dismiss

Prolog in the Java Spec

11 views
Skip to first unread message

burs...@gmail.com

unread,
Sep 11, 2017, 8:48:16 AM9/11/17
to
Dear All,

You find Prolog in the Java Spec, for example here:

https://docs.oracle.com/javase/specs/jvms/se7/html/jvms-4.html#jvms-4.10.1.8

4.10.1.8. Type Checking for protected Members

passesProtectedCheck(Environment, MemberClassName, MemberName,
MemberDescriptor, StackFrame) :-
thisClass(Environment, class(CurrentClassName, CurrentLoader)),
superclassChain(CurrentClassName, CurrentLoader, Chain),
notMember(class(MemberClassName, _), Chain).

Best Regards
0 new messages