Language Reference/Program Sections - Revision history

Thomas Linder Puls: links

2012-10-26T09:34:10Z

links

← Older revision		Revision as of 11:34, 26 October 2012
Line 13:		Line 13:
	<ConditionalSection></vipbnf>		<ConditionalSection></vipbnf>

	<vpbnf><Section></vpbnf>: {{lang2\|Constants\|Constants Sections\|ConstantsSection}}, {{lang2\|Domains\|Domains Sections\|DomainsSection}}, {{lang2\|Predicates\|Constructors Sections\|ConstructorsSection}}, {{lang2\|Facts\|Facts Sections\|FactsSection}}, {{lang2\|Clauses\|Clauses ~~Section~~\|ClausesSection}}, {{lang2\|Predicates\|Properties Sections\|PropertiesSection}}, {{lang2\|Directives\|Conditional Compilation\|ConditionalSection}}		<vpbnf><Section></vpbnf>: {{lang2\|Constants\|Constants Sections\|ConstantsSection}}, {{lang2\|Domains\|Domains Sections\|DomainsSection}}, {{lang2\|Predicates\|Predicates Sections\|PredicatesSection}}, {{lang2\|Predicates\|Constructors Sections\|ConstructorsSection}}, {{lang2\|Facts\|Facts Sections\|FactsSection}}, {{lang2\|Clauses\|Clauses Sections\|ClausesSection}}, {{lang2\|Predicates\|Properties Sections\|PropertiesSection}}, {{lang2\|Directives\|Conditional Compilation\|ConditionalSection}}

	Not all sections can occur in all kinds of scopes, please refer to the description of {{~~lang2\|Interfaces~~\|Interfaces\|Interfaces}}, {{~~lang2~~\|Classes~~\|Class Declarations~~\|Class Declarations}}, and {{~~lang2~~\|~~Implementations\|Class~~ Implementations\|Class Implementations}} for further details.		Not all sections can occur in all kinds of scopes, please refer to the description of {{lang\|Interfaces\|Interfaces}}, {{lang\|Classes\|Class Declarations}}, and {{lang\|Implementations\|Class Implementations}} for further details.

	Conditional sections are described in {{lang2\|Directives\|Conditional Compilation\|Conditional Compilation}}.		Conditional sections are described in {{lang2\|Directives\|Conditional Compilation\|Conditional Compilation}}.

Thomas Linder Puls: Properties Section

2008-10-17T12:24:17Z

Properties Section

← Older revision		Revision as of 14:24, 17 October 2008
Line 8:		Line 8:
	<PredicatesSection>		<PredicatesSection>
	<ConstructorsSection>		<ConstructorsSection>
			<PropertiesSection>
	<FactsSection>		<FactsSection>
	<ClausesSection>		<ClausesSection>
	<ConditionalSection></vipbnf>		<ConditionalSection></vipbnf>

	<vpbnf><Section></vpbnf>: {{lang2\|Constants\|~~Constants_Sections~~\|~~constantsSection~~}}, {{lang2\|Domains\|~~Domains_Sections~~\|~~domainsSection~~}}, {{lang2\|Predicates\|~~Predicates_Sections~~\|~~predicatesSection~~}}, {{lang2\|~~Predicates~~\|~~Constructors_Sections~~\|~~constructorsSection~~}}, {{lang2\|~~Facts~~\|~~Facts_Sections~~\|~~factsSection~~}}, {{lang2\|~~Clauses~~\|~~Clauses_Section~~\|~~clausesSection~~}}, {{lang2\|Directives\|~~Conditional_Compilation~~\|~~conditionalSection~~}}		<vpbnf><Section></vpbnf>: {{lang2\|Constants\|Constants Sections\|ConstantsSection}}, {{lang2\|Domains\|Domains Sections\|DomainsSection}}, {{lang2\|Predicates\|Constructors Sections\|ConstructorsSection}}, {{lang2\|Facts\|Facts Sections\|FactsSection}}, {{lang2\|Clauses\|Clauses Section\|ClausesSection}}, {{lang2\|Predicates\|Properties Sections\|PropertiesSection}}, {{lang2\|Directives\|Conditional Compilation\|ConditionalSection}}

	Not all sections can occur in all kinds of scopes, please refer to the description of {{lang2\|Interfaces\|Interfaces\|Interfaces}}, {{lang2\|Classes\|~~Class_Declarations~~\|Class Declarations}}, and {{lang2\|Implementations\|~~Class_Implementations~~\|Class Implementations}} for further details.		Not all sections can occur in all kinds of scopes, please refer to the description of {{lang2\|Interfaces\|Interfaces\|Interfaces}}, {{lang2\|Classes\|Class Declarations\|Class Declarations}}, and {{lang2\|Implementations\|Class Implementations\|Class Implementations}} for further details.

	Conditional sections are described in {{lang2\|Directives\|~~Conditional_Compilation~~\|~~conditionalSection~~}}.		Conditional sections are described in {{lang2\|Directives\|Conditional Compilation\|Conditional Compilation}}.

Thomas Linder Puls: 1 revision(s)

2008-09-15T14:22:19Z

1 revision(s)

← Older revision	Revision as of 16:22, 15 September 2008
(No difference)

Thomas Linder Puls: /* Program Sections */

2008-09-15T13:25:36Z

Program Sections

New page

{{languageReferenceNavbar|Program Sections}}

Sections are used to declare and define entities in scopes.

<vipbnf><Section> :
<ConstantsSection>
<DomainsSection>
<PredicatesSection>
<ConstructorsSection>
<FactsSection>
<ClausesSection>
<ConditionalSection></vipbnf>

<vpbnf><Section></vpbnf>: {{lang2|Constants|Constants_Sections|constantsSection}}, {{lang2|Domains|Domains_Sections|domainsSection}}, {{lang2|Predicates|Predicates_Sections|predicatesSection}}, {{lang2|Predicates|Constructors_Sections|constructorsSection}}, {{lang2|Facts|Facts_Sections|factsSection}}, {{lang2|Clauses|Clauses_Section|clausesSection}}, {{lang2|Directives|Conditional_Compilation|conditionalSection}}

Not all sections can occur in all kinds of scopes, please refer to the description of {{lang2|Interfaces|Interfaces|Interfaces}}, {{lang2|Classes|Class_Declarations|Class Declarations}}, and {{lang2|Implementations|Class_Implementations|Class Implementations}} for further details.

Conditional sections are described in {{lang2|Directives|Conditional_Compilation|conditionalSection}}.