pce_realise.pl

 pce_begin_class_definition(+ClassName, +Meta, +Super, +Summary)

Dummy to allow cross-referencing and other tools to locate class-definitions after term-expansion.

 check_loaded_class(+ClassName)[private]

If the class is already defined, we are dealing with redefinition and have to take action immediately.

 pce_realise_class(+ClassName)

Creates `ClassName' from the compiled representation.

Re-exported predicates

The following predicates are exported from this file while their implementation is defined in imported modules or non-module files loaded by this module.

 pce_prolog_class(?ClassName:atom) is nondet

 pce_prolog_class(?ClassName:atom, ?SuperName:atom) is nondet

Is true if ClassName refers to a class defined in Prolog with the given superclass.

 pce_prolog_class(?ClassName:atom) is nondet

 pce_prolog_class(?ClassName:atom, ?SuperName:atom) is nondet

Is true if ClassName refers to a class defined in Prolog with the given superclass.

Undocumented predicates

The following predicates are exported, but not or incorrectly documented.

 pce_register_class(Arg1)

 pce_extended_class(Arg1)