すべてのクラス

クラスの概要

クラス	説明
BracketedTextualComment	https://www.cl.cam.ac.uk/~mgk25/iso-14977.pdf (* see 6.8 *) bracketed textual comment = start comment symbol, {comment symbol}, end comment symbol;
Comment	https://www.cl.cam.ac.uk/~mgk25/iso-14977.pdf (* A comment is allowed anywhere outside a <terminal string>, <meta identifier>, <integer> or <special sequence> *); comment = ’(*’, {comment symbol}, ’*)’
CommentlessSymbol	https://www.cl.cam.ac.uk/~mgk25/iso-14977.pdf (* see 6.6 *) commentless symbol = terminal character - (letter | decimal digit | first quote symbol | second quote symbol | start comment symbol | end comment symbol | special sequence symbol | other character) | meta identifier | integer | terminal string | special sequence;
CommentOrSpaceDelimitor
Comments
CommentSymbol	https://www.cl.cam.ac.uk/~mgk25/iso-14977.pdf comment symbol = comment | terminal string | special sequence | character;
CommentSymbol	https://www.cl.cam.ac.uk/~mgk25/iso-14977.pdf (* see 6.7 *) comment symbol = bracketed textual comment | other character | commentless symbol;
ConcatenateSymbol
DecimalDigit	(* see 7.2 *) decimal digit = ’0’ | ’1’ | ’2’ | ’3’ | ’4’ | ’5’ | ’6’ | ’7’ | ’8’ | ’9’;
DecimalDigit	(* see 7.2 *) decimal digit = ’0’ | ’1’ | ’2’ | ’3’ | ’4’ | ’5’ | ’6’ | ’7’ | ’8’ | ’9’;
DefiningSymbol
DefinitionSeparatorSymbol
DefinitionsList	https://www.cl.cam.ac.uk/~mgk25/iso-14977.pdf definitions list = single definition, {’|’, single definition}
DefinitionsList	https://www.cl.cam.ac.uk/~mgk25/iso-14977.pdf (* see 4.4 *) definitions list = single definition, {definition separator symbol, single definition};
Empty	https://www.cl.cam.ac.uk/~mgk25/iso-14977.pdf empty = ;
EmptySequence	https://www.cl.cam.ac.uk/~mgk25/iso-14977.pdf (* see 4.21 *) empty sequence = ;
EndCommentSymbol	end comment symbol = ’*)’;
EndGroupSymbol	end group symbol = ’)’;
EndOptionSymbol	end option symbol = ’]’ | ’/)’;
EndRepeatSymbol	end repeat symbol = ’}’ | ’:)’;
Exception	https://www.cl.cam.ac.uk/~mgk25/iso-14977.pdf (* A <factor> may be used as an <exception> if it could be replaced by a <factor> containing no <meta identifiers> *); exception = factor
ExceptSymbol
Factor	https://www.cl.cam.ac.uk/~mgk25/iso-14977.pdf (* The <integer> specifies the number of repetitions of the <primary> *); factor = [integer, ’*’], primary
FirstQuoteSymbol	first quote symbol = "’";
FirstTerminalCharacter	(* see 4.17 *) first terminal character = terminal character - first quote symbol;
FormFeed	form feed = ? ISO 6429 character Form Feed ? ;
GapFreeSymbol	(* see 6.3 *) gap free symbol = terminal character - (first quote symbol | second quote symbol) | terminal string;
GapSeparator	(* see 6.4 *) gap separator = space character | horizontal tabulation character | new line | vertical tabulation character | form feed;
GroupedSequence	https://www.cl.cam.ac.uk/~mgk25/iso-14977.pdf (* The brackets ( and ) allow any <definitions list> to be a <primary> *); grouped sequence = ’(’, definitions list, ’)’
GroupedSequence	https://www.cl.cam.ac.uk/~mgk25/iso-14977.pdf (* see 4.13 *) grouped sequence = start group symbol, definitions list, end group symbol;
HorizontalTabulationCharacter	horizontal tabulation character = ? ISO 6429 character Horizontal Tabulation ? ;
Integer	https://www.cl.cam.ac.uk/~mgk25/iso-14977.pdf (* see 4.9 *) integer = decimal digit, {decimal digit};
Integer	https://www.cl.cam.ac.uk/~mgk25/iso-14977.pdf (* see 4.9 *) integer = decimal digit, {decimal digit};
Letter	(* see 7.2 *) letter = ’a’ | ’b’ | ’c’ | ’d’ | ’e’ | ’f’ | ’g’ | ’h’ | ’i’ | ’j’ | ’k’ | ’l’ | ’m’ | ’n’ | ’o’ | ’p’ | ’q’ | ’r’ | ’s’ | ’t’ | ’u’ | ’v’ | ’w’ | ’x’ | ’y’ | ’z’ | ’A’ | ’B’ | ’C’ | ’D’ | ’E’ | ’F’ | ’G’ | ’H’ | ’I’ | ’J’ | ’K’ | ’L’ | ’M’ | ’N’ | ’O’ | ’P’ | ’Q’ | ’R’ | ’S’ | ’T’ | ’U’ | ’V’ | ’W’ | ’X’ | ’Y’ | ’Z’;
Letter	(* see 7.2 *) letter = ’a’ | ’b’ | ’c’ | ’d’ | ’e’ | ’f’ | ’g’ | ’h’ | ’i’ | ’j’ | ’k’ | ’l’ | ’m’ | ’n’ | ’o’ | ’p’ | ’q’ | ’r’ | ’s’ | ’t’ | ’u’ | ’v’ | ’w’ | ’x’ | ’y’ | ’z’ | ’A’ | ’B’ | ’C’ | ’D’ | ’E’ | ’F’ | ’G’ | ’H’ | ’I’ | ’J’ | ’K’ | ’L’ | ’M’ | ’N’ | ’O’ | ’P’ | ’Q’ | ’R’ | ’S’ | ’T’ | ’U’ | ’V’ | ’W’ | ’X’ | ’Y’ | ’Z’;
MetaIdentifier	https://www.cl.cam.ac.uk/~mgk25/iso-14977.pdf 4.14 Meta-identifier A meta-identifier consists of an ordered list of one or more meta-identifier-characters subject to the condition that the first meta-identifier-character is a letter.
MetaIdentifier	https://www.cl.cam.ac.uk/~mgk25/iso-14977.pdf 4.14 Meta-identifier A meta-identifier consists of an ordered list of one or more meta-identifier-characters subject to the condition that the first meta-identifier-character is a letter.
MetaIdentifierCharacter	https://www.cl.cam.ac.uk/~mgk25/iso-14977.pdf (* see 4.15 *) meta identifier character = letter | decimal digit;
NewLine	new line = { ? ISO 6429 character Carriage Return ? }, ? ISO 6429 character Line Feed ?, { ? ISO 6429 character Carriage Return ? };
OptionalSequence	https://www.cl.cam.ac.uk/~mgk25/iso-14977.pdf optional sequence = ’[’, definitions list, ’]’
OptionalSequence	https://www.cl.cam.ac.uk/~mgk25/iso-14977.pdf (* see 4.11 *) optional sequence = start option symbol, definitions list, end option symbol;
OtherCharacter	(* see 7.5 *) other character = ’ ’ | ’:’ | ’+’ | ’_’ | ’%’ | ’@’ | ’&’ | ’#’ | ’$’ | ’<' | ’>’ | ’\’ | ’ˆ’ | ’‘’ | ’˜’;
Primary	https://www.cl.cam.ac.uk/~mgk25/iso-14977.pdf primary = optional sequence | repeated sequence | special sequence | grouped sequence | meta identifier | terminal string | empty;
RepeatedSequence	https://www.cl.cam.ac.uk/~mgk25/iso-14977.pdf (* The brackets { and } enclose symbols which may be repeated any number of times *); repeated sequence = ’{’, definitions list, ’}’
RepeatedSequence	https://www.cl.cam.ac.uk/~mgk25/iso-14977.pdf (* see 4.12 *) repeated sequence = start repeat symbol, definitions list, end repeat symbol;
RepetitionSymbol	repetition symbol = ’*’;
SecondQuoteSymbol	second quote symbol = ’"’;
SecondTerminalCharacter	(* see 4.18 *) second terminal character = terminal character - second quote symbol;
SingleDefinition	https://www.cl.cam.ac.uk/~mgk25/iso-14977.pdf (* , separates successive <terms> *); single definition = term, {’,’, term}
SingleDefinition	https://www.cl.cam.ac.uk/~mgk25/iso-14977.pdf (* see 4.5 *) single definition = syntactic term, {concatenate symbol, syntactic term};
SpaceCharacter	(* see 7.6 *) space character = ’ ’;
SpecialSequence	https://www.cl.cam.ac.uk/~mgk25/iso-14977.pdf (* The meaning of a <special sequence> is not defined in the standard metalanguage.
SpecialSequence	https://www.cl.cam.ac.uk/~mgk25/iso-14977.pdf (* see 4.19 *) special sequence = special sequence symbol, {special sequence character}, special sequence symbol;
SpecialSequenceCharacter	https://www.cl.cam.ac.uk/~mgk25/iso-14977.pdf (* see 4.20 *) special sequence character = terminal character - special sequence symbol;
SpecialSequenceSymbol	special sequence symbol = ’?’;
StartCommentSymbol	start comment symbol = ’(*’;
StartGroupSymbol	start group symbol = ’(’;
StartOptionSymbol	start option symbol = ’[’ | ’(/’;
StartRepeatSymbol	start repeat symbol = ’{’ | ’(:’;
SyntacticException	https://www.cl.cam.ac.uk/~mgk25/iso-14977.pdf 4.7 Syntactic exception A syntactic-exception consists of a syntactic-factor subject to the restriction that the sequences of symbols represented by the syntactic-exception could equally be represented by a syntactic-factor containing no meta-identifiers.
SyntacticFactor	https://www.cl.cam.ac.uk/~mgk25/iso-14977.pdf (* see 4.8 *) syntactic factor = [integer, repetition symbol], syntactic primary;
SyntacticPrimary	https://www.cl.cam.ac.uk/~mgk25/iso-14977.pdf (* see 4.10 *) syntactic primary = optional sequence | repeated sequence | grouped sequence | meta identifier | terminal string | special sequence | empty sequence;
SyntacticTerm	https://www.cl.cam.ac.uk/~mgk25/iso-14977.pdf (* see 4.6 *) syntactic term = syntactic factor, [except symbol, syntactic exception];
Syntax	https://www.cl.cam.ac.uk/~mgk25/iso-14977.pdf 4.2 Syntax The syntax of a language consists of one or more syntax-rules.
Syntax	https://www.cl.cam.ac.uk/~mgk25/iso-14977.pdf (* see 6.5 *) syntax = {gap separator}, gap free symbol, {gap separator}, {gap free symbol, {gap separator}};
Syntax	https://www.cl.cam.ac.uk/~mgk25/iso-14977.pdf (* see 6.9 *) syntax = {bracketed textual comment}, commentless symbol, {bracketed textual comment}, {commentless symbol, {bracketed textual comment}};
Syntax	https://www.cl.cam.ac.uk/~mgk25/iso-14977.pdf 4.2 Syntax The syntax of a language consists of one or more syntax-rules.
SyntaxRule	https://www.cl.cam.ac.uk/~mgk25/iso-14977.pdf 4.3 Syntax-rule A syntax-rule consists of a meta-identifier (the name of the non-terminal symbol being defined) followed by a defining-symbol followed by a definitions-list followed by a terminator-symbol.
SyntaxRule	https://www.cl.cam.ac.uk/~mgk25/iso-14977.pdf 4.3 Syntax-rule A syntax-rule consists of a meta-identifier (the name of the non-terminal symbol being defined) followed by a defining-symbol followed by a definitions-list followed by a terminator-symbol.
Term	https://www.cl.cam.ac.uk/~mgk25/iso-14977.pdf (* A <term> represents any sequence of symbols that is defined by the <factor> but not defined by the <exception> *); term = factor, [’-’, exception]
TerminalCharactor	(* see 6.2 *) terminal character = letter | decimal digit | concatenate symbol | defining symbol | definition separator symbol | end comment symbol | end group symbol | end option symbol | end repeat symbol | except symbol | first quote symbol | repetition symbol | second quote symbol | special sequence symbol | start comment symbol | start group symbol | start option symbol | start repeat symbol | terminator symbol | other character;
TerminalString	(* A <terminal string> represents the <characters> between the quote symbols ’_’ or "_" *); terminal string = "’", character - "’", {character - "’"}, "’" | ’"’, character - ’"’, {character - ’"’}, ’"’
TerminalString	(* see 4.16 *) terminal string = first quote symbol, first terminal character, {first terminal character}, first quote symbol | second quote symbol, second terminal character, {second terminal character}, second quote symbol;
TerminatorSymbol	terminator symbol = ’;’ | ’.’;
VerticalTabulationCharacter	vertical tabulation character = ? ISO 6429 character Vertical Tabulation ? ;