Logtalk Grammar Railroad Diagram

entity:

object category protocol

referenced by:


object:

begin_object_directive object_term end_object_directive

referenced by:


begin_object_directive:

:- object( object_identifier , object_relations ).

referenced by:


end_object_directive:

:- end_object.

referenced by:


object_relations:

prototype_relation , non_prototype_relation ,

referenced by:


prototype_relation:

implements_protocols imports_categories extends_objects

referenced by:


non_prototype_relation:

implements_protocols imports_categories instantiates_classes specializes_classes

referenced by:


category:

begin_category_directive category_term end_category_directive

referenced by:


begin_category_directive:

:- category( category_identifier , category_relation ).

referenced by:


end_category_directive:

:- end_category.

referenced by:


category_relation:

implements_protocols extends_categories complements_objects

referenced by:


protocol:

begin_protocol_directive protocol_directive end_protocol_directive

referenced by:


begin_protocol_directive:

:- protocol( protocol_identifier , extends_protocols ).

referenced by:


end_protocol_directive:

:- end_protocol.

referenced by:


extends_protocols:

extends( extended_protocols )

referenced by:


extends_objects:

extends( extended_objects )

referenced by:


extends_categories:

extends( extended_categories )

referenced by:


implements_protocols:

implements( implemented_protocols )

referenced by:


imports_categories:

imports( imported_categories )

referenced by:


instantiates_classes:

instantiates( instantiated_objects )

referenced by:


specializes_classes:

specializes( specialized_objects )

referenced by:


complements_objects:

complements( complemented_objects )

referenced by:


implemented_protocols:

implemented_protocol implemented_protocol_sequence implemented_protocol_list

referenced by:


implemented_protocol:

scope :: protocol_identifier

referenced by:


implemented_protocol_sequence:

implemented_protocol ,

referenced by:


implemented_protocol_list:

[ implemented_protocol_sequence ]

referenced by:


extended_protocols:

extended_protocol extended_protocol_sequence extended_protocol_list

referenced by:


extended_protocol:

scope :: protocol_identifier

referenced by:


extended_protocol_sequence:

extended_protocol ,

referenced by:


extended_protocol_list:

[ extended_protocol_sequence ]

referenced by:


imported_categories:

imported_category imported_category_sequence imported_category_list

referenced by:


imported_category:

scope :: category_identifier

referenced by:


imported_category_sequence:

imported_category ,

referenced by:


imported_category_list:

[ imported_category_sequence ]

referenced by:


extended_objects:

extended_object extended_object_sequence extended_object_list

referenced by:


extended_object:

scope :: object_identifier

referenced by:


extended_object_sequence:

extended_object ,

referenced by:


extended_object_list:

[ extended_object_sequence ]

referenced by:


extended_categories:

extended_category extended_category_sequence extended_category_list

referenced by:


extended_category:

scope :: category_identifier

referenced by:


extended_category_sequence:

extended_category ,

referenced by:


extended_category_list:

[ extended_category_sequence ]

referenced by:


instantiated_objects:

instantiated_object instantiated_object_sequence instantiated_object_list

referenced by:


instantiated_object:

scope :: object_identifier

referenced by:


instantiated_object_sequence:

instantiated_object ,

referenced by:


instantiated_object_list:

[ instantiated_object_sequence ]

referenced by:


specialized_objects:

specialized_object specialized_object_sequence specialized_object_list

referenced by:


specialized_object:

scope :: object_identifier

referenced by:


specialized_object_sequence:

specialized_object ,

referenced by:


specialized_object_list:

[ specialized_object_sequence ]

referenced by:


complemented_objects:

object_identifier complemented_object_sequence complemented_object_list

referenced by:


complemented_object_sequence:

object_identifier ,

referenced by:


complemented_object_list:

[ complemented_object_sequence ]

referenced by:


scope:

public protected private

referenced by:


entity_identifier:

object_identifier protocol_identifier category_identifier

referenced by:


object_identifier:

atom compound

referenced by:


category_identifier:

atom compound

referenced by:


protocol_identifier:

atom

referenced by:


module_identifier:

atom

referenced by:


source_file:

source_file_content

no references


source_file_content:

source_file_directive clause grammar_rule entity

referenced by:


source_file_name:

atom library_source_file_name

referenced by:


library_source_file_name:

library_name ( atom )

referenced by:


library_name:

atom

referenced by:


object_term:

object_directive clause grammar_rule

referenced by:


category_term:

category_directive clause grammar_rule

referenced by:


source_file_directive:

:- encoding( atom :- set_logtalk_flag( atom , nonvar :- include( source_file_name ). prolog_directive

referenced by:


conditional_compilation_directive:

:- if( :- elif( callable ). :- else. :- endif.

referenced by:


object_directive:

:- initialization( callable :- info( entity_info_list :- set_logtalk_flag( atom , nonvar :- include( source_file_name :- uses( object_alias_list :- use_module( module_alias_list ). :- built_in. :- threaded. :- dynamic. conditional_compilation_directive predicate_directive

referenced by:


category_directive:

:- built_in. :- dynamic. :- info( entity_info_list :- set_logtalk_flag( atom , nonvar :- include( source_file_name :- uses( object_alias_list :- use_module( module_alias_list ). conditional_compilation_directive predicate_directive

referenced by:


protocol_directive:

:- built_in. :- dynamic. :- info( entity_info_list :- set_logtalk_flag( atom , nonvar :- include( source_file_name ). conditional_compilation_directive predicate_directive

referenced by:


predicate_directive:

alias_directive synchronized_directive uses_directive use_module_directive scope_directive mode_directive meta_predicate_directive meta_non_terminal_directive info_directive dynamic_directive discontiguous_directive multifile_directive coinductive_directive operator_directive

referenced by:


alias_directive:

:- alias( entity_identifier , alias_directive_resource_list ).

referenced by:


synchronized_directive:

:- synchronized( synchronized_directive_resource_term ).

referenced by:


uses_directive:

:- uses( object_identifier parameter_variable , uses_directive_resource_list ).

referenced by:


use_module_directive:

:- use_module( module_identifier parameter_variable , use_module_directive_resource_list ).

referenced by:


scope_directive:

:- public( :- protected( :- private( scope_directive_resource_term ).

referenced by:


mode_directive:

:- mode( predicate_mode_term non_terminal_mode_term , number_of_proofs ).

referenced by:


meta_predicate_directive:

:- meta_predicate( meta_predicate_template_term ).

referenced by:


meta_non_terminal_directive:

:- meta_non_terminal( meta_non_terminal_template_term ).

referenced by:


info_directive:

:- info( predicate_indicator non_terminal_indicator , predicate_info_list ).

referenced by:


dynamic_directive:

:- dynamic( qualified_directive_resource_term ).

referenced by:


discontiguous_directive:

:- discontiguous( qualified_directive_resource_term ).

referenced by:


multifile_directive:

:- multifile( qualified_directive_resource_term ).

referenced by:


coinductive_directive:

:- coinductive( predicate_indicator_term coinductive_predicate_template_term ).

referenced by:


parameter_variable:

_variable_

referenced by:


scope_directive_resource_term:

scope_directive_resource scope_directive_resource_sequence scope_directive_resource_list

referenced by:


scope_directive_resource:

predicate_indicator non_terminal_indicator operator

referenced by:


scope_directive_resource_sequence:

scope_directive_resource ,

referenced by:


scope_directive_resource_list:

[ scope_directive_resource_sequence ]

referenced by:


entity_resources_list:

predicate_indicator_list operator_list

referenced by:


predicate_indicator_term:

predicate_indicator predicate_indicator_sequence predicate_indicator_list

referenced by:


predicate_indicator_sequence:

predicate_indicator ,

referenced by:


predicate_indicator_list:

[ predicate_indicator_sequence ]

referenced by:


alias_directive_resource_list:

[ alias_directive_resource , ]

referenced by:


alias_directive_resource:

predicate_indicator_alias non_terminal_indicator_alias

referenced by:


synchronized_directive_resource_term:

synchronized_directive_resource synchronized_directive_resource_sequence synchronized_directive_resource_list

referenced by:


synchronized_directive_resource:

predicate_indicator non_terminal_indicator

referenced by:


synchronized_directive_resource_sequence:

synchronized_directive_resource ,

referenced by:


synchronized_directive_resource_list:

[ synchronized_directive_resource_sequence ]

referenced by:


uses_directive_resource_list:

[ uses_directive_resource , ]

referenced by:


uses_directive_resource:

predicate_indicator non_terminal_indicator predicate_template_alias operator

referenced by:


use_module_directive_resource_list:

[ use_module_directive_resource , ]

referenced by:


use_module_directive_resource:

predicate_indicator non_terminal_indicator predicate_template_alias operator

referenced by:


qualified_directive_resource_term:

qualified_directive_resource qualified_directive_resource_sequence qualified_directive_resource_list

referenced by:


qualified_directive_resource_sequence:

qualified_directive_resource ,

referenced by:


qualified_directive_resource_list:

[ qualified_directive_resource_sequence ]

referenced by:


qualified_directive_resource:

object_identifier category_identifier :: module_identifier : predicate_indicator non_terminal_indicator

referenced by:


predicate_indicator_alias:

predicate_indicator as predicate_indicator

referenced by:


predicate_template_alias:

callable as callable

referenced by:


non_terminal_indicator:

functor // arity

referenced by:


non_terminal_indicator_alias:

non_terminal_indicator as non_terminal_indicator

referenced by:


operator_list:

[ operator specification , ]

referenced by:


coinductive_predicate_template_term:

coinductive_predicate_template coinductive_predicate_template_sequence coinductive_predicate_template_list

referenced by:


coinductive_predicate_template_sequence:

coinductive_predicate_template ,

referenced by:


coinductive_predicate_template_list:

[ coinductive_predicate_template_sequence ]

referenced by:


coinductive_predicate_template:

atom ( coinductive_mode_terms )

referenced by:


coinductive_mode_terms:

coinductive_mode_term coinductive_mode_terms , coinductive_mode_terms

referenced by:


coinductive_mode_term:

+ -

referenced by:


predicate_mode_term:

atom ( mode_terms )

referenced by:


non_terminal_mode_term:

atom ( mode_terms )

referenced by:


mode_terms:

mode_term ,

referenced by:


mode_term:

@ + - ? ++ -- type

referenced by:


type:

prolog_type logtalk_type user_defined_type

referenced by:


prolog_type:

term nonvar var compound ground callable list atomic atom number integer float

referenced by:


logtalk_type:

object category protocol event

referenced by:


user_defined_type:

atom compound

referenced by:


number_of_proofs:

zero zero_or_one zero_or_more one one_or_more zero_or_error one_or_error zero_or_one_or_error zero_or_more_or_error one_or_more_or_error error

referenced by:


meta_predicate_template_term:

meta_predicate_template meta_predicate_template_sequence meta_predicate_template_list

referenced by:


meta_predicate_template_sequence:

meta_predicate_template ,

referenced by:


meta_predicate_template_list:

[ meta_predicate_template_sequence ]

referenced by:


meta_predicate_template:

object_identifier category_identifier :: module_identifier : atom ( meta_predicate_specifier , )

referenced by:


meta_predicate_specifier:

non_negative_integer :: ^ *

referenced by:


meta_non_terminal_template_term:

meta_predicate_template_term

referenced by:


entity_info_list:

[ entity_info_item is nonvar , ]

referenced by:


entity_info_item:

comment remarks author version date copyright license parameters parnames see_also atom

referenced by:


predicate_info_list:

[ predicate_info_item is nonvar , ]

referenced by:


predicate_info_item:

comment remarks arguments argnames redefinition allocation examples exceptions see_also atom

referenced by:


object_alias_list:

[ object_alias , ]

referenced by:


object_alias:

object_identifier as object_identifier

referenced by:


module_alias_list:

[ module_alias , ]

referenced by:


module_alias:

module_identifier as module_identifier

referenced by:


clause:

object_identifier :: module_identifier : head :- body fact

referenced by:


goal:

message_sending super_call external_call context_switching_call callable

no references


message_sending:

message_to_object message_delegation message_to_self

referenced by:


message_to_object:

receiver :: messages

referenced by:


message_delegation:

[ message_to_object ]

referenced by:


message_to_self:

:: messages

referenced by:


super_call:

^^ message

referenced by:


messages:

message ( message , ; -> messages )

referenced by:


message:

callable variable

referenced by:


receiver:

{ callable } object_identifier variable

referenced by:


external_call:

{ callable }

referenced by:


context_switching_call:

object_identifier << callable

referenced by:


lambda_expression:

lambda_free_variables / lambda_parameters >> lambda_parameters >> callable

no references


lambda_free_variables:

{ variable , }

referenced by:


lambda_parameters:

[ term , ]

referenced by:


category_property:

static dynamic built_in file( atom , atom lines( integer , number_of_clauses( number_of_rules( number_of_user_clauses( number_of_user_rules( integer public( protected( private( entity_resources_list declares( predicate_indicator , predicate_declaration_property_list defines( predicate_indicator includes( provides( predicate_indicator , object_identifier category_identifier , predicate_definition_property_list calls( updates( predicate , predicate_call_update_property_list alias( object_identifier module_identifier , entity_alias_property_list predicate_indicator , predicate_alias_property_list ) events source_data debugging

no references


object_property:

static dynamic built_in threaded file( atom , atom lines( integer , number_of_clauses( number_of_rules( number_of_user_clauses( number_of_user_rules( integer complements( allow restrict public( protected( private( entity_resources_list declares( predicate_indicator , predicate_declaration_property_list defines( predicate_indicator includes( provides( predicate_indicator , object_identifier category_identifier , predicate_definition_property_list calls( updates( predicate , predicate_call_update_property_list alias( object_identifier module_identifier , entity_alias_property_list predicate_indicator , predicate_alias_property_list ) context_switching_calls dynamic_declarations events source_data complements module debugging

no references


protocol_property:

static dynamic built_in source_data file( atom , atom lines( integer , integer public( protected( private( entity_resources_list declares( predicate_indicator , predicate_declaration_property_list alias( predicate_indicator , predicate_alias_property_list ) debugging

no references


predicate_declaration_property_list:

[ predicate_declaration_property , ]

referenced by:


predicate_declaration_property:

static dynamic scope( scope meta_predicate( meta_predicate_template coinductive( coinductive_predicate_template non_terminal( non_terminal_indicator include( atom lines( integer , line_count( integer mode( predicate_mode_term non_terminal_mode_term , number_of_proofs info( list ) private protected public coinductive multifile synchronized

referenced by:


predicate_definition_property_list:

[ predicate_definition_property , ]

referenced by:


predicate_definition_property:

inline auxiliary non_terminal( non_terminal_indicator include( atom lines( integer , line_count( number_of_clauses( number_of_rules( integer )

referenced by:


entity_alias_property_list:

[ entity_alias_property , ]

referenced by:


entity_alias_property:

object module for( object_identifier module_identifier include( atom lines( integer , line_count( integer )

referenced by:


predicate_alias_property_list:

[ predicate_alias_property , ]

referenced by:


predicate_alias_property:

predicate for( predicate_indicator from( entity_identifier non_terminal( non_terminal_indicator include( atom lines( integer , line_count( integer )

referenced by:


predicate:

^^ variable object_identifier :: variable module_identifier : predicate_indicator

referenced by:


predicate_call_update_property_list:

[ predicate_call_update_property , ]

referenced by:


predicate_call_update_property:

caller( alias( predicate_indicator include( atom lines( integer , line_count( integer non_terminal( non_terminal_indicator )

referenced by:


predicate_property:

static dynamic scope( scope coinductive( coinductive_predicate_template meta_predicate( meta_predicate_template alias_of( callable non_terminal( non_terminal_indicator mode( predicate_mode_term non_terminal_mode_term , number_of_proofs info( list number_of_clauses( number_of_rules( integer declared_in( alias_declared_in( entity_identifier defined_in( redefined_from( object_identifier category_identifier , line_count ) private protected public logtalk prolog foreign multifile synchronized built_in inline recursive

no references


line_count:

integer

referenced by:


compiler_flag:

flag ( flag_value )

no references


  ... generated by RR - Railroad Diagram Generator R R