Log in

No account? Create an account
entries friends calendar profile Previous Previous Next Next
Prolog в самом сердце Java - ruik-ruik! röhh-röhh!
Prolog в самом сердце Java
Wei Tao, together with Frank Yellin, Tim Lindholm, and Gilad Bracha, implemented the Prolog verifier that formed the basis for the specification in both Java ME and Java SE.
classIsTypeSafe(Class) :-
   classClassName(Class, Name),
   classDefiningLoader(Class, L),
   superclassChain(Name, L, Chain),
   Chain \= [],
   classSuperClassName(Class, SuperclassName),
   loadedClass(SuperclassName, L, Superclass),
   classMethods(Class, Methods),
   checklist(methodIsTypeSafe(Class), Methods).

Tags: , ,

Leave a comment