ISO/IEC 8613-10:1991/Amd 3:1992

Information processing — Text and office systems — Office Document Architecture (ODA) and interchange format — Part 10: Formal specifications — Amendment 3: Formal specification of the character content architectures

Traitement de l'information — Bureautique — Architecture des documents de bureau (ODA) et format d'échange — Partie 10: Spécifications formelles — Amendement 3: Spécifications formelles des architectures de contenus de caractères

General Information

• Status: Withdrawn
• Publication Date: 18-Nov-1992
• Withdrawal Date: 18-Nov-1992
• ICS: 35.240.20 - IT applications in office work
• Technical Committee: ISO/IEC JTC 1 - Information technology
• Drafting Committee: ISO/IEC JTC 1 - Information technology
• Current Stage: 9599 - Withdrawal of International Standard
• Start Date: 16-Dec-1996
• Completion Date: 12-Feb-2026

Relations

• Amends: ISO/IEC 8613-10:1991 - Information processing — Text and office systems — Office Document Architecture (ODA) and interchange format — Part 10: Formal specifications
• Effective Date: 06-Jun-2022
• Revised: ISO/IEC 8613-10:1995 - Information technology — Open Document Architecture (ODA) and Interchange Format — Part 10: Formal specifications
• Effective Date: 15-Apr-2008
• Child: ISO/IEC 8613-10:1991 - Information processing — Text and office systems — Office Document Architecture (ODA) and interchange format — Part 10: Formal specifications
• Effective Date: 15-Apr-2008

Standards Content (Sample)

ISO/IEC
INTERNATIONAL
8613-10
STANDARD
First edition
1991-06-01
AMENDMENT 3
1992-11-15
Information processing -Text and Office
Systems - Office Document Architecture (ODA)
and interchange format -
Part 10:
Formal specifications
AMENDMENT 3: Formal specification of the
Character content architectures
Traitement de I ’information - Bureautique - Architecture des documents
de bureau (ODA) et format d ’kchange -
Partie 70: Sptkifications formelles
AMENDEMENT3: Spkifications formelles des architectures de contenus
de caractkres
Reference number
ISO/iEC 8613-10:1991/Amd. 3:1992 (E)

ISO/IEC 8613-10: 199l/Amd. 3:1992 (E)
Foreword
ISO (the International Organization for Standardization) and IEC (the International
Electrotechnical Commission) form the specialized System for worldwide
standardization. National bodies that are members of ISO or IEC participate in the
development of International Standards through technical committees established by
the respective organization to deal with particular fields of* technical activity. ISO and
IEC technical committees collaborate in Gelds of mutual interest. Othcr international
organizations, governmental and non-governmental, in liaison with ISO and IEC, also
take part in the work.
In the Geld of information technology, ISO and IEC have established a joint technical
committee, ISO/IEC JTC 1. Draft International Standards adopted by the joint
technical committee are circulated to national bodies for voting. Publication as an
International Standard requires approval by at least 75 % of the national bodies casting
a vote.
Amendment 3 to International Standard ISO/IEC 8613-10: 199 1 was prcpared by Joint
Technical Committee ISO/IEC JTC 1, hjb-twtiu/z tec/zwloyy.
general title I~~fi)rm&m
ISO/IEC 8613 consists of the following Parts, under the
processirzg - Text ud o~ke systetns - O#ice Documer~t Arci~itecture (ODA) urd
interchufzye fortnut :
- Pur-t 1: IfitrodL~ctiolz and gemrul yrimiples
- Pur-t 2: Docwzerlt stmctwcs
- Pur-t 4: Doc.mmt yrofile
- Pur-~ 5: Ofice Docww~t hterdmge Fonmt (ODIF)
- Pur-t 6: Chrncter coiiterit urchitectitres
- Pur-t 7: Ruster- gruphics contmt utd~itecturzs
- Pur-t 8: Geom~tric gruphics coiiteiit ur-chitectur-es
- Pur-t IO: Fond specijicutims
Annex C forms an integral part of ISO/IEC 86 13- 10.
0 lSO/lEC 1992
All rights reserved. No p-t of this publicntion may be reproduccd or utilized in any ferm or by auy
rneans, electronie or tnechmicd, including photocopying and microfihn, without ptxmisssion in writing
frotn the publisheï.
International Organization fm- Stadmiization
Gase postale 56 l CH-121 1 Gen&ve 20 . Switzerland
Printed in Switzerland
ii
ISO/IEC/IEC 8613~10:199l/Amd. 3:1992 (E)
Information processing - Text and Office Systems -
Office Document Architecture (ODA) and interchange
format -
Part 10:
Formal specifications
AMENDMENT 3: Formal specification of the Character
content architectures
Insert a new annex C as follows:

ISO/IEC 8613=10:199l/Amd. 3:1992 (E)
Annex C
(normative)
Formal specification of the Character content architectures
C.l Introduction
This annex gives a formal specification of the Character content architectures as described in ISO 8613-6. This
annex is composed of 6 clauses:
Clause C.l provides a general introduction, including a list of all definitions which are given in C.2, C.3, C.4 and C.5.
Clause C.2 provides the interface to the document Profile - by giving a formal specification of those attributes which
may be included in the document Profile attribute ’ document application Profile defaults’ .
Clauses C.3 and C.4 provide the interface to the document architecture by giving a formal specification of Character
content Portion presentation attributes; and any associated content Portion attributes applicable to the Character
content portions.
Clause C.5 provides a description of the elements of the Character content information. In particular, the following
general rules on the syntactic and semantic usage of control functions are formally specified:
1. GCC-0 shall be followed by 2 or more graphic characters (see ISO 8613-6, clause 11.1.2).
NOTE: ISO 8613-6, clause 11.1.2 states implicitly that 2 or more graphic characters tan follow a GCC-0 but
only the 2 yruphac churcr.cters immediately following the MC-0 are concatenat,ed (if they are not Split by a line
break which would introduce control function characters).
2. GCC-1 shall be followed by 2 or more gra.phic characters followed by GCC-2 (see ISO 8613-6, clause 11.1.2).
NOTE: ISO 8613-6, clause 11.1.2 states implicitly that at least 2, but possibly more, graphic characters tan
follow a GCC-1 but only the graphic churacters immediately following the GCC-1 and which are terminated
by a GCC-2 are concatenated (if they are not Split by a line break which would introduce control function
characters).
3. LF is only permitted: (a) at the beginning of a Character string, (b) after a CR and (c) after a LF (see ISO
8613-6, clause 11.1.4).
4. The number of PLUS shall be complemented exactly by PLDs before any LF is encountered and at any Position
in the string the following condition is applicable; 1 #PLU - #PLDI < 1 (see ISO 8613-6, clauses 11.1.5 and
-
11.1.6).
NOTE: For rules 4. and 6., the # means nunaber 05 For rule 4. the 1 x - 1/ 1 represents the mathematical
modulus.
5. SRS-1 shall be followed by one or more characters except, CR LF and followed by SRS-0 (see ISO 8613-6, clause
11.1.11).
6. The #PLU = #PLD between SRS-1 and SRS-0 (see ISO 8613-6, clause 11.1.11).
7. The effects of VPB and VPR shall be cancelled (see 8. for details). wit)hin any SRS-1 and SRS-0 (see ISO
8613-6, clause 11.1.11).
8.
The effects of all VPB-n;s and VPR-mjs shall be cancelled (i.e., xTz1 VPB-n; = ‘& VPR-rnj where
e ore the control functions CR LF are encountered (see ISO 8613-6, clauses 11.1.15
(i,j,Y,Q,ni,~j E N)) b f
a#nd 11.1.16).
9.
PTX-1 shall be followed by a Character string which shall be followed by PTX-3 followed by a Character string
followed by PTX-0 ( see ISO 8613-6, clause 11.3.3).

ISO/IEC 8613~10:199l/Amd. 3:1992 (E)
10. SOS is followed by a Character string followed by ST (NOTE: Nesting is not forbidden). (See ISO 8613-6:
clause 11.4.2).
Clause C.6 is an index to the terms (definitions, Operators, attribute names) used in clauses C.2, C.3, C.4 and C.5.
Any time a clause number is specified in the semi-formal descriptions this refers to a clause number in ISO 8613-6.
What follows is the outline of the formula which specifies the Character content architectures. The dots indicate
formal text fragments which have been left out for the sake of readability. The full formula tan be obtained by
replacing each line (apart from the und) with the definition which is referenced by the superscript of the predicate
Symbol or Operator Symbol, respectively. The variables used in the definition of the predicate have to be replaced
by those appearing in the outline (if they are different).
NOTE: A definition is a formlila, hence it may never yield an undefined result, whatever value has been inserted
for the variable.
. . . IsProfileDefaultableCharacterContentArchitectureAttrib~~te~. ’(att) . . .
und
IsProfileCharacterCodingSpecification6*2(v) . . .
- *--
und
IsProfileCharacterPresentationFeature ”3(z) . . .
- ***
ur-1 d . . . SatisfiesCharact,erContentArchitectureConstraints6.4(yrof, Ctoby) . . .
c
und IsProcessableCharacterDescriptior?” (cont) . . .
- ***
und
IsProcessableCharacterContent6*6 (cont) . . .
- **-
und
IsFormattedCharacterDescription6e7(cont) . . .
- ***
und
IsFormattedCharacterContent?(cont) . . .
- .’
und IsFormat tedProcessableCharacterDescription ’*9 (cont)
- *-* . . .
Q n d . . . IsFormat,tedProcessableCharacterContent ”. ’”(co~t) . . .
und IsCharacterContentPortionDescription ”.ll(cont) . . .
- *-*
und IsCharacterContentPresentationAttribute6.12(ntt) . . .
- **-
und . . . IsCharacterContentCodingAttribute ”.13(&t) . . .
und . . . IsCharacterContentPortionAttributeSetY4(~~s) . . .
und
IsAlignmentValue6* “(v) . . .
- -**
and ., IsCl~aracterFontsValue ”~l” (v) . . .
a n Cl IsCharacterOrientationValue6*17(v) . . .
- .’
and ., IsFormat tingIndicatorValue ”*18( v) . . .
und I . . . IsCharacterPathValue6*1g(~) . . .
und . . .
IsCharacterContentTypeOfCodingValue6.2 ”( v) . . .
and . . . IsCharacterSpacingValue ”.21 (v> . . .
u n d IsFirstLineOffsetValue6*22(u) . . .
- ***
und t . . . IsCharacterSetsValue6*23( v) . . .
und . . . IsGraphicCharacterSubrepertoireValue6*24(v) . . .
und
IsIS06ß37SubrepertoireId6.2 ”(v) . . .
- ***
u n d . . . IsCharacterContentArchitectureClassvalue~.2~ ’(~) . . .
und
IsGraphicRenditionValue6*27( v) . . .
- ***
und
IsWeightValue ”.2 ”( v) . . .
- ---
und
IsPostureValue ”2g(v) . . .
- ***
and . . . IsUnderliningValue ”30 (v) . . .
und IsBlinkingValue6.31 (v) . . .
- *--
und . . . IsImageInversionValue6*32 (v) . . .
und
IsCrossingOutValue ”*33( v) . . .
- -**
and . . . IsIndentationValue654 (v)
. . .
und . . .
IsCharacterInitia10ffsetValue6.3 ”( v) . . .
an (1 ) . . . IsKerningOffsetValueG*36 (v) . . .
un Cl IsOrp hanSizeValue6*37( v)
. . .
- ***
a n d ) . . .
IsCodeExtensionAnnouncersValue ”.3 ”( v) . . .
und IsPairwiseKerningValue6.3” (v) . . .
- -*-
und IsWidowSizeValue6*40( v)
. . .
- ---
u n d
IsProportionalLineSpacingValue ”*41 (v) . . .
- ***
ISO/IEC 8613~10:199l/Amd. 3:1992 (E)
und . . .
IsLineLayoutTableValue ”*42 (v) . . .
und . . .
IsTabReferenceString ”.43 (v)
. . .
und . . . IsLineSpacingValue6*44 (v) . . .
an d . . . IsCliaracterLineProgressionValue6.4” (v) . . .
an d . . .
IsItemizationValue6.46 (v) . . .
u n d . . .
ContainsFormattedElements6*47(v) . . .
u n d . . .
Cont ainsProcessableElements6*48( v)
. . .
und . . .
ContainsFormattedProcessableElements6*4g(v) . . .
u n d . . . IsValidFormat tedContentSyntax6. “( v)
. . .
und . . .
IsValidProcessableContentSyntax6*51(v) . . .
u n d . . .
IsValidFormattedProcessableContentSyntax6*52(v) . . .
und . . . IsFormattedContentElement6. “3(v) . . .
an (1 . . . IsProcessableContentElement6*54( v)
. . .
n n d . . .
IsFormat tedProcessableContent Element? (v)
. . .
u n d . . . IsCommonContentElement6*56(v) . . .
und . . .
IsValidFormattedContentSemantics6*57(v) . . .
nnd . . .
IsValidProcessableContentSemantics6*58(v) . . .
cr.?r.d . . .
IsValidFormatt,edProcessableContentSemantics6.~~(v) . . .
and . . .
IsValidCommonContentSemantics ”. “”( v)
. . .
a n d . . . IsValidLogicalControlSemantics6.61 (v) . . .
u n d . . .
IsValidDelimiterControlSemantics6~~2 (v)
. . .
u n Cl . . .
IsValidSharedControlSemantics ”. “3(v) . . .
u n d . , .
IsValidGCC06* “4 (v) . . .
n n d . . . IsValidGCC12 ”““(v) . . .
und . . .
IsValidGCC12End ”*“” (v) . . .
und ,.
IsValidLF ”- “7( v) . . .
and . . . IsValidNext LFO ”. ‘“( v)
. . .
un d . . . IsValidNextLFIG. ““(v) . . .
und . . .
IsValidPLUD6-70( v) . . .
u n. d . . .
IsIncompletePLU6*71(v) . . .
und . . . IsIncompletePLD ”*72(v) . . .
u n cr! . . . IsValidSRSG.73( v)
. . .
an cr! . . . IsValidSRSEnd ’*74(v) . . .
u n d . . .
IsValidSRSNest ”*7 ”(v, vr) . . .
n n d . . .
IsValidPLUDInSRS6~76(v) . . .
u ri< d . . . IsValidPLUDInSRSEnd ’*77(v) . . .
u n (IT . . .
IsIncompletePLUInSRS ’+78(v) . . .
u n d . . .
IsIncompletePLDInSRS6*7 ’(v) . . .
6.80
n ri d . . . IsValidVP
(v) . . .
uns d . . .
IsValidVPSum
6*81(v, n) . . .
6.82
u n d . . . IsValidPTX
(v) . . .
u rit d . . .
IsValidPTXNext? ““( v)
. . .
u n d . . .
IsValidPTXEnd ”.84 (v) . . .
6.85
u n d . . .
IsValidSOS
(v) . . .
und . . . IsValidSOSEnd6.‘” (v) . . .
u n d . . .
IsVaklSOSNest6*87( v, q )
. . .
u n d . . .
IsValidVPInSRS ’.@( v)
. . .
an. d . . . IsValidVPSumInSRS ’*“” (v, n) . . .
und . . . IsValidVPSumInSR.SEnd6* ‘o( v)
. . .
n n d . . .
IsCodeExtensionCon trolFr? “‘( v)
. . .
un,d . . .
IsIS02022String ”. “2(v) . . .
u n d . . . IsIS02022Character6* ‘3(v) . . .
und . . .
IslS06429String ”.g4(v) . . .
und . . . IsISO6429Character ”““(v) . . .
u n d . . .
IsSharedControlFn ’*““(v) . . .
und . . .
IsParameterlessSharedControlFn ”. ”7( v)
. . .
ISO/IEC 8613=10:199l/Amd. 3:1992 (E)
and . . . IsParameterizedSl~aredControlFnName6~98( v)
. . .
and . . .
IsParameterizedSharedControlFr?* ”( 72, y)
. . .
und . . . IsLayoutControlFnG-lOO(v) . . .
and . . . IsParameterlessLayoutControlFn6-101 (v) . . .
und . . . IsParameterizedLayoutControlFnName6.102(v) . . .
and . . . IsParameterizedLayoutControlFn6.103(n, p) . . .
und . . .
IsLogicalControlFn6104(v) . . .
und . . .
IsParameterlessLogicalControlFn6~105 (v)
. . .
and . . .
IsParameterizedLogicalControlFnName6*10” (v)
. . .
and IsParameterizedLogicalControlFn6.107fn, p) . . .
- *-*
und
IsDelimiterControlFn6*108( v)
- l ** . . .
and . . .
IsSpaceControlFn6*10g(v) . . .
und
IsEscapeControlFn6*1 ‘O(v)
- l ** . . .
and . . .
IsCharacterContentInformationValue6* ”’(v) . . .
an (1 , . . . IsGraphicCharacterStrin$.’ l2 (v)
. . .
tmd IsGraphicCharacterG1 13(v) . . .
- -**
NOTE: Other predicates or Operators which are used here, but are defined in clause 6, are not listed here.

ISO/IEC 8613~10:199l/Amd. 3:1992 (E)
C.2 Interface to the Document Profile
1 Semiformal Description 6.1 1
Predicate “is a Profile defaultable Character content architecture attribute” (clause 7)
A profile defaultable Character content architecture attribute corresponds to the set of Character presentation at-
tributes.
NOTE: This predicate is used in annex B.
Definition 6.1
1 v dt
2 (, IsProfileDefaultableCharacterContentArchitectureAttribute(~~tt) #
IsCharacterContentPresentationAttribute ”.12(att),)
r Semiformal Description 6.2 1
Predicate 9s a Profile Character coding specification” (clause 8.1)
A Character coding specification is a nomination where each element-, is a Character content coding attribute.
NOTE: This predicate is used in annex B.
FDefinition 6.2 1
1 vv
2 ([, IsProfileCharacterCodingSpecification(v) ifl
3 IsNom(v) and
4 V b E -v. (IsCharacterContentCodingAttribute ”*13(C b)),,)
Semiformal Description 6.3
Predicate “is a Profile Character presentation feature” (clause 7)
A Profile Character presentation feature is a nomination where each element is a Character content presentation
attribute.
NOTE: This predicate is used in annex B.
1 Definition 6.3 1
1 vv
2 (,, IsProfileCharacterPresentationFeature(v) #
3 IsNom(v) and
4 V b f -v l (IsCharacterContentPresentationAttribu~.12(C b))J

ISO/IEC 8613~10:1991/Amd. 3:1992 (E)
C.3 Interface to the Document Architecture
Semiformal Description 6.4 1
Predicate “satisfies Character content architecture contraints” (clauses 4.8 and 15)
A document Profile prof and a document body doby satisfy the constraints imposed by the Character content
architecture if the following holds for all constituents and associated content portions:
If the attribute * content architecture class’ of the constituent has the value ’ 2 8 2 6 1’ then the content Portion con-
and ’ initial offset’ are not specified for
tains processable Character content (6), the attributes ‘formatting indicator *
this content (7) and the value ’ 2 8 2 6 1’ is an element of the document Profile attribute ‘content architecture classes’
.
(8)
If the attribute ‘ content architecture class’ of the constituent has the value ’ 2 8 2 6 0’ then the content Portion
contains formatted Character content (ll), the attributes ‘widow size’ , ‘orphan size’ , ’ proportional line spacing’
and the value ‘2 8 2 6 0’ is an element of the document
and ’ indentation ’ are not specified for this content (12,13)
Profile attribute ‘content architecture classes’ (14).
has the value ‘2 8 2 6 2’ t,hen content Portion contains formatted
If the attribute ’ content architecture class’
processable Character content (17) and the value ‘2 8 2 6 2’ is an element of the document Profile attribute
‘content architecture classes’ (18).
NOTE: This predicate is used in clause 7 of this part of ISO 8613.
1 Definition 6.4 1
VprofJoby
2 (o Sat,isfiesCharact,erContentArchitectureConst,raint,s(~~rof, doby) ifl
3 V cst , cont E doby
4 escribesContPortOf2*1 ”3(cst) und
A
(1 (2 (3 (cont)D
5 c ncst. ‘content architecture class’ = ‘2 8 2 6 1’ J impl
6 (4 IsProcessableCharacterDescription ’*5 (cont) nnd
7 IsEmptyCo11*4( [ ‘formatting indicator ’ ; * initial offset ‘1 n NAMS1*l ’(Cst)) und
8 ’ content architecture classes’ J2) and
‘2 8 2 6 1’ E C -prof.
9 (, (, (cont)DescribesContPortOf2*153(&) and
10 c -cst. ’ content architecture class’ = ’ 2 8 2 6 0’ G) impl
11 (,IsFormattedCharacterDescription “*7(cont) c~nd
12 IsEmptyCo11*4( [’ widow size ’ ; ’ orphan size ’ ;
13 ’ proportional line spacing ’ ; ’ indentation ‘1 IT NAMS1* “(cst)) und
14 ‘2 8 2 6 0’ f C -Prof. ’ content architecture classes ’ J J und
15 (A (L) (cont)DescribesContPortOf2*153(Cst) and
>
16 c -cst l ’ content architecture class’ = ’ 2 8 2 6 2’ ,J impl
(10 IsFormat,tedProcessableCharacterDescription~. ’(~ont) and
’ content architecture classes ’ ,,,) ,) ,),)
18 ‘2 8 2 6 2’ E C -Prof.
Semiformal Description 6.5 ]
,
Predicate “is processable Character description” (clause 15)
Content is processable if it, is a Character content Portion description and the Character content is processable.
Definition 6.5 1
1 V cont
2 (0 IsProcessableCharacterDescription( cont) ifl
3 IsCharact,erCont,ent,PortionDescription ’. ”~ont) and
4 IsProcessableCharacterContent ’*6 (cont) ,,)

ISO/IEC 8613~10:199l/Amd. 3:1992 (E)
1 Semiformal Descrintion 6.6 1
Predic;tte ‘5s processable Character content” (clause 15.2 and table 6)
A processable Character content Portion is a catenation containing a processable Character string.
Definition 6.6
V cont
2 (,, IsProcessableCharacterContent( cont) ifl
3 Va C Yont.
a= * content information ’ impl ContainsProcessableElements6*4 ’(C a)) ,)
(N
*
Semiformal Description 6.7
Predicate “is formatted Character description” (clause 15)
Content is formatted if it, is a Character content Portion description and t,he Character content is formatted.
1 Definition 6.7 1
1 v cont
2 (,, IsFormattedCharacterDescription(cont) ifl
3 IsCharacterContentPortionDescription ’*’ycont) impl
4 IsFormattedCharacterContent6*8( cont) J
1 Semiformal Descrirjtion 6.8 1
Prediwte “is formatted Character content” (clause 15.1 and table 6)
A formatted Character content Portion is a catenation containing a formatted Character string.
1 Definition 6.8 1
1 (clause 15)V cont
2 (,, IsFormattedCharacterContent(cont) i#
3 v (1 (& -cont 0
4 CL = ’ content information ’ impl ContainsFormattedElements
(N s47(c 4 0)
1 Semiformal Description 6.9 1
Predi&e “is formatt,ed processable Character description” (clause 15)
Content is formatted processable if it is a Character content Portion description and the Character content is for-
matted processable.
1 Definition 6.9 1
1 V cont
2 ((, IsFormattedProcessableCl~aracterDescription(co~~~t) ifl
3 IsCharacterContentPortionDescriptior?(cont) i&
4 IsFormattedProcessalleCharacterContent ’. ’O(Co~2t) ,J

ISO/IEC 8613910:199l/Amd. 3:1992 (E)
1 Semiformal Description 6.10 I
Predicate “is formatted processable Character content” (clause 15.3 and table 6)
A formatted processable Character content is a catenation containing a formatted processable Character string.
I Definition 6.10 I
1 V cont
((, IsFormattedProcessableCharacterContent(cont) @
3 Vw C Yont.
4 a= ’ content information ’ impl ContainsFormattedProcessableElements649(C a)),)
(N
1 Semiformal Description 6.11 1
Predicate “is Character content Portion description” (clauses 8.1 and 8.3)
A Character content Portion description is a set of Character content Portion attributes.
NOTE: This predicate is used in clause 7 of this part of ISO 8613.
1 Definition 6.11 1
1 V cont
2 (o IsCharacterContentPortionDescription(cont) iff
3 IsCharacterContentPortionAttrib,~teSet ”.14(~o~)~)
1 Semiformal Description 6.12 1
Predicate “is Character content presentation attribute” (clauses 4.3 and 7)
A Character content architecture presentation attribute is one of the attributes ‘alignment’ , ’ Character fonts’ ,
’ Character orientation I, ’ Character path ’ , ’ Character spacing’ , ’ code extension announters’ , ‘first line offset ’ ‘form-
atting indicator ‘, ’ graphic Character sets ’ , ‘graphic Character subrepertoire ’ , * graphic rendition ‘, * indentation’ , ’ init-
ial offset ’ , * itemization ‘, * kerning offset * , ’ line layout table’ , * line spacing’ , * line Progression *, ‘orphan size’ , ’ pair-
wise kerning’ , * proportional line spacing * or ’ widow size ’ with corresponding value( s).
NOTE: This predicate is used in clause 7 of this part of ISO 8613.
1 Definition 6.12
1 v att
2 (, IsCharacterContentPresentationAttribute(att) ifl
3 3n,c
4 (, ntt = [n : c] und
k
5 ’ Character orientation ’ ;
n E [ * alignment’ ; ’ Character fonts * ;
6 ’ Character path ’ ; ’ Character spacing ’ ; ’ code extension announters * ;
7 * first line offset ’ ; ’ formatting indicator * ; * graphic Character sets ’ ;
’ graphic Character su brepertoire * ;
8 * graphic rendition ’ ; ’ indentation * ;
9 ’ initial offset ’ ; * itemization * ; ’ kerning offset * ;
10 ‘ line layout table ’ ; ’ line Progression ’ ; ’ line spacing ’ ;
11 ‘orphan size’ ; ’ pairwise kerning * ; * proportional line spacing ’ ;
12 * widow size ‘1 und
13 ,n = * alignment * impl
(
14 (3 IsPlaceholde? (c) m IsAlignmentValue6*1 ”(c),),) and

ISO/IEC 8613=10:1991/Amd. 3:1992 (E)
15 ,n = ’ Character fonts’ irq~Z
(
16 (5 IsPlaceliolder1~19 (c) 0 IsCharacterFontsValue6~l ”(c),),) ~UJN~
17 ,n = ’ Character orientation ’ impl
(
nnd
18 (7 IsPlaceholderl.l” (c> fl IsCharacterOrientationValue G-17(c) &)
19 &n =
‘Character path * impl
(
(,IsPlaceholder ’*‘~- IsCharacterPathValue6.190,),) und
21 n= ’ Character spacing * impl
( 10
22 (c) ~f IsCharacterSpacingValue6*21(c) J ,,) und
(11 IsPlaceholderl*lg
-
23 ’ code extension announters ’ impl
(
(c) x IsCodeExtensionAnnouncersValue6.38(c) J 12) und
24 l2 n d, IsPlaceholderl*lg
25 = ’ first line offset * impl
(
l4 n (,, IsPlaceholder ’*‘~~ IsFirstLineOffsetValue6*22(c) J 14) und
27 = ‘formatting indicator * impl
(
28 lG n (17 IsPlaceholderl*lg (c) m IsFormattingIndicatorValue6.1 ”(c) J J und
29 J2 = ’ graphic Character Sets’ impl
(
30 (,, IsPlaceholderl*lg (c) E IsCharacterSetsValue6*23(c) ,,) ,,) und
31 = ’ graphic Character su brepertoire * impZ
(
32 20 n (21 IsPlaceholderl*lg (c) or IsGrapl~icCl~aracterSubrepertoireValne~~24(c)2,)2,) und
33 n= ‘graphic rendition * impl
( 22
- -- /. c.-
34 IsGraphicR.enditionValue ”*’ ‘(c) 23) 22) crd
(23 IsPlaceholderl*lY(c) m
-
35 ’ indentation ’ impl
(
36 G, IsPlaceholder~c) m IsIndentationValue ”. “4(C) 25)24) and
24 n
c
= ‘initial offset * impl
(
md
38 26 n (27 IsPlacellolderl*lg(c) 0 IsCharacterInitia10ffsetValue6*3” (c) 27) 2c)
-
’ itemization ’ impZ
(
IsItemizationValue ”*4 ”(c) 2c)) 28) 0nd
40 28 n G9 IsPlaceholder ’* ‘“(c) (lr
-
41 ’ kerning offset * impl
(
42 30 n G, IsPlaceholder ’.l ”(c) m IsKerningOffsetValue6.3 ”(c) 31)30) und
-
43 ’ line layout table * impl
(
44 IsLineLayoutTableValue6*42( c) 33) 32) und
32 n 6, IsPlaceholder ’* ‘“(c) a
45 = ’ line spacing’ impl
(
und
46 34 n (35 IsPlaceholderl*lg(c) ~f IsLineSpacingValue6*44( c) 3,) 34)
47 = ‘line progression’ impl
(
48 3G n (37 IsPlaceliolderl~lg(c) E IsCharacterLir~eProgressionValue ”~4 ”(c)3,)3~) und
-
49 ‘orphan size * impl
(
50 IsOrphanSizeValue6. “7( c) 39) 38) u-nd
38 n T39 IsPlaceholder~c) o
51 n= ’ pairwise kerning ’ impl
( 41)
52 (41 IsPlaceholderl*lg(c) m IsPairwiseKerningValue6*39(c)4J4J and
53 - ’ proportional line spacing’ impl
(
54 42 n T43 IsPlaceliolderl~lg (c) fl IsProportionalLineSpacingValue~~41(c)43)42) und
-
55 ’ widow size’ impl
(
56 44 n C, IsPlaceholde~(c) ~f IsWidowSizeValue ”*4 ”( c) 45) 44) J ,,)

ISO/IEC 8613~10:199l/Amd. 3:1992 (E)
I Semiformal Descrintion 6.13 1
Predicate “is a Character content coding attribute” (clause 8.1)
* type of coding’ with its corresponding value.
A Character content coding attribute consists of the attribute
I Definition 6.13 1
1 v att
2 (0 IsCharacterContentCodingAttribute(utt) ifl
3 3n,c
(1 att = [n: c] und
A
5 n= ‘type of coding * impl IsCharacterContentTypeOfCodingValue6*20(c) JO)
C.4 Attributes of the Character Content Architecture
Semiformal Description 6.14
Predicate ‘5s Character content Portion attribute Set” (clause 8)
A Character content architecture Portion attribute set contains the listed attributes with corresponding attribute
values.
Definition 6.14
1 v us
2 (<’ IsCharacterContentPortionAttributeSet( cis) ifl
3 (1 IsNeNom ’-2(as) and
4 vn c 21s.
5 = ’ type of coding’ impl
(N
6 2 (3 ILZPlaceholder”” (C (L) E IsCharacterContentTypeOfCodingValue6*20(C n) 3) 2) und
7 CL = ’ content information ’ impl IsCharacterContent~InformatlionValue6~111(C n),) &)
(N 4
1 Semiformal Description 6.15 1
Predicate “is an alignment value” (clause 7.1 .l)
The value of the attribute ’ alignment * is * start-aligned ’ , ’ end-aligned * , * centred ’ or ‘justified ‘.
1 Definition 6.15
1 vv
2 ([’ IsAlignment Value( v) i-f
3 v E [ ‘start-aligned * ; ‘end-aligned ’ ; ’ centred ’ ; ‘justified ‘1 ,,)
ISO/IEC 8613~10:199l/Amd. 3:1992 (E)
Semiformal Description 6.16
.
Predica,te “is a Character fonts value” (clause 7.1.2)
The value of the attribute ’ Character fonts’ tan contain up to ten pairs of Parameters (3) named ’ primary font * ,
‘first alternative font’ , I second alternative font ’ , * third alternative font ’ , ‘fourth alternative font * , ‘fifth alternative
font ’ ) * seventh alternative font * , ’ eighth alternative font ’ and ’ ninth alternative font’ (4-Q
’ sixth alternative font ‘,
each with sub-parameters ‘font size’ and ‘font identifier’ (lO), both having a positive integer value (11).
Definition 6.16
1 vv
2 (,IsCharacterFontsValue(v) ifl
3 (,IsNom(v) und CARD(v) < 10 und
4 NAMSl ”(v) E [ * primary foG * ; ’ first alternative font * ;
’ second alternative font ’ ; * third alternative font ’ ;
6 ‘fourth alternative font * ; ‘fifth alternative font ’ ;
7 ’ sixth alternative font ’ ; ‘seventh alternative font’ ;
8 ’ eighth alternative font ’ ; ’ ninth alternative font ‘1 cr.rr.d
vncg 3.
10 (,IsNom(C CL) und NAMSl*l ’(C CL) = [ ‘font size ’; ‘font identifier ’] und
Vb c ^(C a).IsNat(C b),),),)
t
Semiformal Description 6.17
Predicate “is a Character orientation value” (clause 7.1.3)
The value of the attribute ’ Character orientation ’ is ’ 0’ ’ , ’ 90’ ’ , ’ 180’ ’ or ’ 270’ ’ .
Definition 6.17
1 vv
2 ( ‘, IsCharacterOrientationValue( v) ifl
3 VE [ ‘O ”‘; ‘900 ’; ‘1800 ’; ‘2700 ’1,)
Semiformal Description 6.18
.
Predicate “is a formatting indicator value” (clause 7.2.1)
The attribute ’ formatting indicator ’ has the value ’ yes’ or ‘no ’.
Definition 6.18
1 v 2)
2 ( ‘, IsFormattingIndicatorValue( v) ifl
v E C ’yes ’; ‘no ’],,)
t
Semiformal Description 6.19
Predicake “is a Character path value” (clause 7.1.4)
The value of the attribute * Character path ’ is ‘0’ ’ , ’ 90’ ’ , ’ 180’ ’ or ’ 270’ ‘ .
*
Definition 6.19
1 vv
2 (oIsCliaracterPatliValue(v) ifl
3 v E ['Oo1;'900';'1800';'2700'1,)
ISO/IEC 8613=10:199l/Amd. 3:1992 (E)
1 Semiformal Descrintion 6.20 1
Predicate “is a Character content type of coding value” (clause 8.1)
The value of the attribute ’ type of coding‘ is an ASN.l Object indentifier * 2 8 3 6 0' .
I Definition 6.20 1
1 vv
2 (” IsCharacterContentTypeOfCodingValue( v) ifl
8 3 6 O',,)
3 v= '2
I Semiformal Description 6.21 1
Predicate “is a Character spacing value” (clause 7.1.5)
The value of the attribute * Character spacing * is any positive integer.
1 Definition 6.21 1
1 vv
2 (0 IsCharacterSpacingValue( v) ifl
IsNat(v),,)
1 Semiformal Description 6.22 1
Predica,te “is a first line offset value” (clause 7.1.7)
The value of the attribute ’ first line offset ’ is any integer.
1 Definition 6.22 1
vv
2 (0 IsFirstLineOffsetValue(v) iI
3 IsInt (v) ,,)
I Semiformal Descrintion 6.23 1
Predicate “is a Character sets value” (clause 7.1.8)
is a string of escape sequences (in accordance with ISO 2022 and
The value of the attribute ‘graphic Character Sets’
ISO 2375) found in the ISO International reyister of coded churucter sets to be used with escupe sequences (held by
the Europeun Computer Munufuctwers Associution (ECMA) - the registration authority). These escape sequences
are used to designate one or more graphic Character Sets, and any locking shift functions needed for their invocation.
NOTE: This predicate is used in annex B.
1 Definition 6.23 1
1 vv
2 (,, IsCharacterSetsValue( v) ifl
3 .-IsIS02022String6.g2(~j,j -
ISO/IEC 8613~10:1991/Amd. 3:1992 (E)
1 Semiformal Description 6.24 1
Predicate “is a graphic Character subrepertoire value” (clause 7.1.9)
The value of the attribute ‘graphic Character subrepertoire’ is either 0 or an identifier of a subrepertoire.
1 Definition 6.24 1
1 vv
2 (Cl IsGraphicCharacterSubrepertoireValue( v) #
3 v=
0 m IsIS06937SubrepertoireId6.2” (v) 0)
1 Semiformal Description 6.25 1
Predicate “is a ISO 6937 subrepertoire identifier” (clause 7.1.9)
An ISO 6937 subrepertoire identifier is considered atomic for this definition.
I Definition 6.25 1
1 vv
2 (Cl IsIS06937SubrepertoireId( v) #
3 IsAtom( v) .)
r Semiformal Description 6.26 1
Predicate “is a Character content architecture class value” (clause 7.4.1)
A content architecture class attribute value is an ASN.l Object identifier ’ 2 8 2 6 1’ , ’ 2 8 2 6 2’ or ‘2 8 2 6 0 ’.
1 Definition 6.26 1
vv
2 (,, IsCharacterContentArchitectureClassValue( v) #
3 vE [ ‘28261 ’; ‘28262 ’; ‘28260 ’],,) -
I Semiformal Description 6.27 1
Predicate “is a graphic rendition value” (clauses 7.1 .lO and 6.1)
The value of the attribute ‘graphic rendition * tan contain any secluence of integer values from those specified below
(4-12).
I Definition 6.27 I
1 vv
2 (,, IsGraphicR.enditionValue( v) #
3 IsNeCat,1*3(v) and
= [--+o--+] or
4 (IV
5 vzfpv. -
6 (z IsWeightValue ”*2 ”(z) ~f
7 IsPost ureValue6*2g (2) m
IsUnderliningValue ”*3” (x) E
9 IsBlinkingValue ”.31 (2) 0
10 IsImageInversionValue6*32 (x) 0
11 IsCrossingOutValue ”. “3(z) or
x E [lO; 11;12; 13; 14; 15; 1657; 18; 19; 26; 501 -,)l)o)
ISOLIEC 8613~10:199l/Amd. 3:1992 (E)
r Semiformal Description 6.281
Predicate “is a weight value” (clauses 6.1 and 6.1 .l)
A weight value is either the integer 2, which represents a rendition feint (decreased intensity), the integer 22, which
represents a rendition normaZ intensity (neither feint nor hold), or the integer 1, which represents a rendition hold
(increased intensity).
rI%f?nition 6.28 1
1 vv
2 (,, IsWeightValue(v) iff
v E C2;22;11,) -
r Semiformal Description 6.291
Predicate “is a posture value” (clauses 6.1 and 6.1.2)
A posture value is either the integer 23, which represents a rendition not italicized, or t,he integer 3, which represents
a rendition it azicized.
I Definition 6.29 1
1 vv
2 (,, IsPostureValue( v) iff
3 -
v E C23;310)
1 Semiformal Description 6.30 1
Predicate “is an underlining value” (clauses 6.1 and 6.1.3)
An underlining value is either the integer 24, which represents a rendition not mderlined, the integer 4, which
represents a rendition wzderlined, or the integer 21, which represents a rendition doubly underlined.
1 Definition 6.30 1
1 vv
2 ((, IsUnderliningValue( 2)) iff
3 v E [24;4;21],) -
1 Semiformal Description 6.3fl
Predicate “is a hlinking value” (clauses 6.1 and 6.1.4)
A blinking value is either the integer 25, which represents a rendition steady (not blinking), the integer 5, which
represents a rendition slowly blinking, or the integer 6, which represents a rendition rapidly blinking.
1 Definition 6.31 ]
1 vv
2 (0 IsBlinkingValue( v) ifl
3 v E [25;5;6],) -
ISOAEC 8613~10:199l/Amd. 3:1992 (E)
Semiformal Description 6.32
Predicate “is an image inversion value” (clauses 6.1 and 6.1.5)
An image inversion value is either the integer 27, which represents a rendition positive image, or the integer 7, which
represents a rendition negative imuye.
1 Definition 6.32 1
1 VZJ
2 (” IsImageInversionValue( v) #
v c C27; 71 J
1 Semiformal Description 6.33 1
Predicate “is a crossing-out value” (clauses 6.1 and 6.1.6)
A crossing-out value is either the integer 29, which represents a rendition not crossed-out, or the integer 9, which
represents a rendition wossed-out.
1 Definition 6.33 ]
1 vv
2 (0 IsCrossingOutValue( v) ifl
v E c29;91 J
1 Semiformal Description 6.34 1
Predicate “is an indentation value” (clause 7.3.1)
The value of the attribute ’ indentation’ is any non-negative integer.
1 Definit,ion 6.34 1
1 vv
2 (Cl IsIndentationValue( v) iff
3 IsNnInt?7(v)0) -
Semiformal Description 6.35
Predicate “is an initial offset value” (clause 7.2.2)
The value of t,he attribute ’ initial offset ’ consists of two Parameters
’ horizontal coordinate ’ and ’ vertical coordinate ’
each having a non-negative integer value.
NOTE: Since the attribute ‘initial offset’ is also used within the raster graphics content architectures the qualifier
‘Character” has been added to the predicate name.
1 Definition 6.35 ]
1 vv
2 (0 IsCharact~erInit,ialOffsetValue( v) #
* 3
(1 IsNeNom1*2(v) un.d -
NAMS1*18(v) = C’ horizontal coordinate’ ; ‘vertical coordinate ‘1 und
5 vopzl.
6 (ZNb=’
horizontal coordinate ’ impl IsNnIntj1.7(C b) arr.tl
7 Nb= ‘vertical coordinate’ impl IsNnInt?7(C !&),),,)
ISO/IEC 8613~10:199l/Amd. 3:1992 (E)
Semiformal Description 6.36
Predicate “is a kerning offset value” (clause 7.1.12)
The value of the attribute * kerning offset ’ consists of two Parameters ‘Start edge offset ’ and ‘end edge offset’ each
having a non-negative integer value.
Definition 6.36
,
vv
(,, IsKerningOffsetValue( v) ifl
(1 IsNom(v) und
NAMS1*l ’(~) = [ ‘Start edge offset ’ ; ’ end edge offset ‘1 und
Vbf -2).
(,Nb= ’ Start edge offset ’ impl IsNnInt1.7(C b) und
impl IsNnInt ’*7( C b) J J .)
Nb= ’ end edge offset ’
Semiformal Description 6.37
Predicate “is an orphan size value” (clause 7.3.2)
The value of the attribute ’ orphan size’ is any positive integer.
Definition 6.37
1 vv
2 (o IsOrphanSizeValue( v) ifi
I
3 IsNat (v) ,J
Semiformal Description 6.38
.
Predicate “is a code extension announters value” (clause 7.1.6)
The value of the attribute ’ code extension announters’ is a string of escape secluences in accordance with ISO 2022,
used to announce code extension features.
Definition 6.38
l
vv
2 ((’ IsCodeExtensionAnnouncersValue( v) ifl
3 IsIS02022String ”*“( v) ,,)
I
Semiformal Description 6.39
.
Predicate “is a pairwise kerning value” (clause 7.1.16)
The value of the attribute ’ pairwise kerning ’ is either ’ yes’ or ’ no’ .
Definition 6.39
1 vv
(0 IsPairwiseKerningValue( v) $7
3 v E [ ‘yes ’; ‘no ’](J
ISOLIEC 8613~10:1991/Amd. 3:1992 (E)
Semiformal Description 6.40 ]
Predicate “is a widow size value” (clause 7.3.4)
The value of the attribute ’ widow size ’ is any positive integer.
\
Definition 6.40
1 vv
2 (0 IsWidowSizeValue(v) iff
3 IsNat (v) ,,)
Semiformal Description 6.41
Predicate ‘5s a proportional line spacing value” (clause 7.3.3)
The value of the attribute ’ proportional line spacing ’ is either ’ yes ’ or * no *.
Definition 6.41
1 vv
2 (0 IsProportionalLineSpacingValue( v) ifl
3 v E C ’yes ’; ‘no ’],)
Semiformal Description 6.42
Predicate “is a line layout table value” (clause 7.1.13)
The value of the attribute ’ line layout table’ tan consists of four Parameters: ’ tab reference’ , ’ tab Position ’ ,
’ alignment ’ and conditionally ’ alignment string’ each with corresponding values. In the case of ‘alignment string’
this Parameter is only specified if the value ’ aligned-around ’ is specified for the Parameter ’ alignment’ (9-13) . The
value of ‘alignment string’ is represented as an atomic structure (13).
Definition 6.42
1 vv
2 (, IsLineLayoutTableValue( v) ifl
3 (1 IsNom(v) und -
4 NAMS ’.l ”(V) > [’ tab reference’ ; ’ tab Position ’ ;’ alignment ‘1 und
5 NAMSl ”(V) c [’ tab reference’ ; ’ tab Position ’ ; ’ alignment ’ ; ’ alignment string ‘1 und
6 Vb~ -ZI.
(,Nb= ’ tab reference’ impl IsTabR.eferenceString6.43(C b) cr.rr.d
8 Nb= ’ tab Position ’ im,pZ IsNnInt1*7( C 6) u&
9 Nb= ’ alignment’ impl
10 und
(3 C b E C’ start-aligned ’ ; ’ end-aligned ’ ; ’ centred ’ ; ’ aligned-around ‘1
11 Cb= ’ aligned-around ’ impl
(* ‘alignment string’ E NA~*18(v)J3) und
13 Nb=’ alignment string ’ impl IsAtom(C b),),),,)
ISO/IEC 8613~10:199l/Amd. 3:1992 (E)
v
Semiformal Description 6.43
Predicake “is a tab reference string” (clause 7.1.13)
A tab reference string in this context consists of a concatenated sequence of integers whose length is greater than
or equal to 1 and less than or equal to 4.
1 Definition 6.43 1
1 vv
2 ([, IsTabReferenceString( v) ifl
3 IsNeCat ’*‘(v) und -
(LENGTHl-l6 (v) > 1 und LENGTHl.l’ (v) < 4) und
-
Vx c *v. (IsInt(Cz)),)
I Semiformal Description 6.44 1
Predicate “is a line spacing value” (clause 7.1.15)
The value of the attribute ’ line spacing ’ is any positive integer.
Definition 6.44
1 vv
2 ((, IsLineSpacirigValue( v) ifl
A
3 IsNat(v),,)
1 Semiformal Description 6.45 1
Predicate “is a line Progression value” (clause 7.1.14)
The value of the attribute ’ line progression’ is ’ 90' ’ or ’ 270’ ’ .
is also used within the raster graphics content architectures the qualifier
NOTE: Since the attribute ’ line Progression ’
“Character” has been added to the predicate name.
r
Definition 6.45
1 vv
2 (Cl IsCharacterLineProgressionValue( v) iff
3 v E C ’90 ”‘; ‘2700 ’],,)
ISO/IEC 8613~10:199l/Amd. 3:1992 (E)
Semiformal Description 6.46
Predicake ‘5s an itemization value” (clause 7.1.11)
The value of the attribute * itemization ’ consists of t,hree Parameters ‘identifier alignment ’ , ’ identifier Start offset ’
The values of ‘identifier Start offset’ and ‘identifier end offset’ are integers (9, 10). The
and ’ identifier end offset ’ .
vaiue of ’ identifier alignment ’ is an element of the set ’ no itemization ’ , ‘start-aligned ’ and ’ end-aligned ’ (8).
1 Definition 6.46 1
1 vv
2 (, IsItemizationValue(v) ifl
(1 IsNom(v) und
4 NAMS1*l ’(~) = [’ identifier alignment’ ; ’ identifier Start offset’ ;
5 ’ identifier end offset ‘1 J und
6 vu c 3.
7 - ’ identifier alignment ’ impl
(N
8 ’ no itemization ’ ;’ start-aligned ’ ; ’ end-aligned ‘1,) nnd
2(,c,, [
9 Nu= ’ identifier Start offset ’ impl IsInt(C u) and
10 N u = ‘identifier end offset’ impl IsInt(C a)2),,)
C.5 Elements of the Character Content Information
I Semiformal Description 6.47 1
Predicate “contains formatted elements” (clause 4)
A Character string represents a valid formatted content if the string has a valid Syntax (3) and valid semantics (4)
for formatted content.
I Definition 6.47 I
1 vv
2 (O ContainsFormattedElements( v) ifl
IsValidFormattedContentSyntax~ “(v) und
4 IsValidFormatJtedContentSemantics ”~ ”7(v) ,,)
[ Semiformal Description 6.48 1
Predicate “contains processable elements” (clause 4)
A character string represents a valid processable content if the string has al valid synt,ax (3) and valid semantics (4)
for processable content.
1 Definition 6.48 1
1 vv
2 (, ContainsProcessableElements( v) ifl
IsValidProcessableContentSyntjw~l (v) and
>
4 IsValidProcessableContentSemantics ”*58( v) (,)
ISO/IEC 8613~10:1991/Amd. 3:1992 (E)
I Semiformal Descrintion 6.491
Predicate “contains formatted processable elements” (clause 4)
A Character string represents a valid formatted processable content if the string has a valid Syntax (3) and valid
semantics (4) for formatted processable content .
I Definition 6.49 I
1 vv
2 (,, ContlainsFormattedProcessableElements( v) ifi
3 IsValidFormattedProcessableContentSynt.x~2( v) und
IsValidFormattedProcessableContentSeman~ics6.~g(~
1 Semiformal Description 6.50 1
Predicate “is a valid formatked content syntax” (clause 4)
A valid formatted Character content Syntax is an empty string (3)
or a string in which the first element is a formatted
and the remainder of the string has a valid formatked cont,ent Syntax (5).
content element (4)
1 Definition 6.50 1
1 vv
2 (0 IsValidFormatt,edContentSyntax( v) ifl
A
3 IsEmptyCat ’*‘( v) 0
4 (1 IsFormatjtedCont~ent~Element6~ ‘3(HEAD1~13(v)) und
5 IsValidFormattedContentSyntax6.~0(TAIL1. ’”( v)) J (,)
Semiformal Description 6.51 1
Predicate “is a valid processable content syntax” (clause 4)
A valid processable Character content Syntax is an empty string (3) or a string in which the first element is processable
content element, (4) and t,he remainder of the string has a valid processable content Syntax (5).
1 Definition 6.51 1
1 vv
2 (<, IsValidProcessableContentSynt,ax( v) iff
3 IsEmptyCatl.G (v) E
4 (1 IsProcessableContentElement ”*“4(HEAD1*13(v)) und
IsValidProcessableContentSynt~ax6* ’1 (TAILl-l ’( v)) J ,,)
ISO/IEC 8613~10:199l/Amd. 3:1992 (E)
1 Semiformal Description 6.52 1
Predicate “is a valid formatted processable content Syntax” (clause 4)
A valid formatted processable Character content Syntax is an empty string (3) or a string in which the first element
is a formatted processable content element (4) and the remainder of the string has a valid formatted processable
content synt ax (5).
Definition 6.52
1 vv
(, IsValidFormattedProcessableContentSyntax(v) #
3 IsEmptyCat ’. ‘(v) ~f
(1 IsFormattedProcessableContentElement6. ””(HEAD1. ‘~(v)) and
IsValidFormattedProcessableContentSyntax6.52(TAIL ’.15(v)) JJ
Semiformal Description 6.53
,
Predicate “is a formatted content element” (clause 4)
A formatted Character content element is either a content element common to all Character content architectures
(3) or a layout control function (4).
.
Definition 6.53
1 vv
2 (D IsFormattedContentElement( v) ifl
3 IsCommonContentElement6*56( vor
4 IsLayoutControlFn6*1 ”“(v).) -
I
\
Semiformal Description 6.54
\
Predicate ‘5s a processable content element” (clause 4)
A processable Character content element is either a content element common to all Character content architectures
(3) or a logical control function (4).
Definition 6.54
1 vv
2 (() IsProcessableContentElement( v) ifl
3 IsCommonContentElement ”. “6( v)&
IsLogicalControlFn6~1 ”4(v) ,,)
ISO/IEC 8613010:199l/Amd. 3:1992 (E)
-formal Description 6.55 1
Predicate “is a formatted processable content element” (clause 4)
A formatted processable Character content element is either a content element common to all Character content
or a delimiter control function (6).
architectures (3) a layout control function (4)) a logical control function (5)
1 Definition 6.55 1
1 vv
2 (, IsFormattedProcessableContentElement( v) @
3 IsCommonContentElement6.56( v) E -
4 IsLayoutControlFn6*1 ”0(v) of
5 IsLogicalControlFn6*104(v) ~f
6 IsDelimiterControlFn6.10 ”(v) O)
1 Semiformal Description 6.56 1
Predicate “is common content element” (clause 4)
A content element common to all Character content architectures is either a shared control funct
...