564 lines
13 KiB
LLVM
564 lines
13 KiB
LLVM
/* Copyright (C) Boris Nikolaus, Germany, 1996-1997. All rights reserved. */
|
|
/* Copyright (C) Microsoft Corporation, 1997-1998. All rights reserved. */
|
|
|
|
%token CON_XXX1
|
|
%token CON_XXX2
|
|
|
|
%type <XConstraints> Constraint<XType><XBoolean>
|
|
%type <XConstraints> ConstraintSpec<XType><XBoolean>
|
|
%type <XConstraints> SubtypeConstraint<XType><XBoolean>
|
|
%type <XConstraints> ElementSetSpecs<XType><XBoolean>
|
|
%type <XConstraints> ElementSetSpecExtension<XType><XBoolean>
|
|
%type <XElementSetSpec> AdditionalElementSetSpec<XType><XBoolean>
|
|
%type <XElementSetSpec> ElementSetSpec<XType><XObjectClass><XBoolean>
|
|
%type <XElementSetSpec> Unions<XType><XObjectClass><XBoolean>
|
|
%type <XElementSetSpec> UnionList<XType><XObjectClass><XBoolean>
|
|
%type <XElementSetSpec> Intersections<XType><XObjectClass><XBoolean>
|
|
%type <XElementSetSpec> IntersectionList<XType><XObjectClass><XBoolean>
|
|
%type <XElementSetSpec> IntersectionElements<XType><XObjectClass><XBoolean>
|
|
%type <XElementSetSpec> Exclusions_Opt<XType><XObjectClass><XBoolean>
|
|
%type <XElementSetSpec> Exclusions<XType><XObjectClass><XBoolean>
|
|
%type <XElementSetSpec> Elements<XType><XObjectClass><XBoolean>
|
|
%type <XSubtypeElement> SubtypeElements<XType><XBoolean>
|
|
%type <XSubtypeElement> SingleValue<XType>
|
|
%type <XSubtypeElement> ContainedSubtype<XType>
|
|
%type <XBoolean> Includes
|
|
%type <XSubtypeElement> ValueRange<XType>
|
|
%type <XEndPoint> LowerEndpoint<XType>
|
|
%type <XEndPoint> UpperEndpoint<XType>
|
|
%type <XEndPoint> LowerEndValue<XType>
|
|
%type <XEndPoint> UpperEndValue<XType>
|
|
%type <XSubtypeElement> SizeConstraint
|
|
%type <XSubtypeElement> TypeConstraint
|
|
%type <XSubtypeElement> PermittedAlphabet<XType>
|
|
%type <XSubtypeElement> InnerTypeConstraints<XType>
|
|
%type <XSubtypeElement> SingleTypeConstraint<XType>
|
|
%type <XSubtypeElement> MultipleTypeConstraints<XComponents>
|
|
%type <XSubtypeElement> FullSpecification<XComponents>
|
|
%type <XSubtypeElement> PartialSpecification<XComponents>
|
|
%type <XNamedConstraints> TypeConstraints<XComponents>
|
|
%type <XNamedConstraints> NamedConstraint<XComponents>
|
|
%type <XNamedConstraints> ComponentConstraint<XType>
|
|
%type <XConstraints> ValueConstraint<XType>
|
|
%type <XPresence> PresenceConstraint
|
|
|
|
%%
|
|
|
|
Constraint(type, permalpha)
|
|
: '(' ConstraintSpec($type, $permalpha) ExceptionSpec ')'
|
|
{ $$ = $2; /*XXX ExceptionSpec */
|
|
}
|
|
;
|
|
|
|
ConstraintSpec(type, permalpha)
|
|
: SubtypeConstraint($type, $permalpha)
|
|
{ $$ = $1;
|
|
}
|
|
| GeneralConstraint
|
|
{ $$ = NULL; /*XXX*/
|
|
}
|
|
;
|
|
|
|
SubtypeConstraint(type, permalpha)
|
|
: ElementSetSpecs($type, $permalpha)
|
|
{ $$ = $1;
|
|
}
|
|
;
|
|
|
|
ExceptionSpec
|
|
: '!' ExceptionIdentification
|
|
| /* empty */
|
|
;
|
|
|
|
ExceptionIdentification
|
|
: SignedNumber(Builtin_Type_Integer)
|
|
| DefinedValue
|
|
| Type ':' Value($1)
|
|
;
|
|
|
|
ElementSetSpecs(type, permalpha)
|
|
: ElementSetSpec($type, NULL, $permalpha)
|
|
ElementSetSpecExtension($type, $permalpha)
|
|
{ if ($2) {
|
|
$$ = DupConstraint($2);
|
|
} else {
|
|
$$ = NewConstraint();
|
|
}
|
|
$$->Root = $1;
|
|
}
|
|
| "..." AdditionalElementSetSpec($type, $permalpha)
|
|
{ $$ = NewConstraint();
|
|
$$->Type = $2 ? eExtension_Extended : eExtension_Extendable;
|
|
$$->Additional = $2;
|
|
}
|
|
;
|
|
|
|
ElementSetSpecExtension(type, permalpha)
|
|
: ',' "..." AdditionalElementSetSpec($type, $permalpha)
|
|
{ $$ = NewConstraint();
|
|
$$->Type = $3 ? eExtension_Extended : eExtension_Extendable;
|
|
$$->Additional = $3;
|
|
}
|
|
| /* empty */
|
|
{ $$ = NULL;
|
|
}
|
|
;
|
|
|
|
AdditionalElementSetSpec(type, permalpha)
|
|
: ',' ElementSetSpec($type, NULL, $permalpha)
|
|
{ $$ = $2;
|
|
}
|
|
| /* empty */
|
|
{ $$ = NULL;
|
|
}
|
|
;
|
|
|
|
ElementSetSpec(type, objectclass, permalpha)
|
|
: Unions($type, $objectclass, $permalpha)
|
|
{ $$ = $1;
|
|
}
|
|
| "ALL" Exclusions($type, $objectclass, $permalpha)
|
|
{ $$ = NewElementSetSpec(eElementSetSpec_AllExcept);
|
|
$$->U.AllExcept.Elements = $2;
|
|
}
|
|
;
|
|
|
|
Unions(type, objectclass, permalpha)
|
|
: Intersections($type, $objectclass, $permalpha)
|
|
UnionList($type, $objectclass, $permalpha)
|
|
{ if ($2) {
|
|
$$ = NewElementSetSpec(eElementSetSpec_Union);
|
|
$$->U.Union.Elements1 = $1;
|
|
$$->U.Union.Elements2 = $2;
|
|
} else {
|
|
$$ = $1;
|
|
}
|
|
}
|
|
;
|
|
|
|
UnionList(type, objectclass, permalpha)
|
|
: UnionMark Unions($type, $objectclass, $permalpha)
|
|
{ $$ = $2;
|
|
}
|
|
| /* empty */
|
|
{ $$ = NULL;
|
|
}
|
|
;
|
|
|
|
Intersections(type, objectclass, permalpha)
|
|
: IntersectionElements($type, $objectclass, $permalpha)
|
|
IntersectionList($type, $objectclass, $permalpha)
|
|
{ if ($2) {
|
|
$$ = NewElementSetSpec(eElementSetSpec_Intersection);
|
|
$$->U.Intersection.Elements1 = $1;
|
|
$$->U.Intersection.Elements2 = $2;
|
|
} else {
|
|
$$ = $1;
|
|
}
|
|
}
|
|
;
|
|
|
|
IntersectionList(type, objectclass, permalpha)
|
|
: IntersectionMark Intersections($type, $objectclass, $permalpha)
|
|
{ $$ = $2;
|
|
}
|
|
| /* empty */
|
|
{ $$ = NULL;
|
|
}
|
|
;
|
|
|
|
IntersectionElements(type, objectclass, permalpha)
|
|
: Elements($type, $objectclass, $permalpha)
|
|
Exclusions_Opt($type, $objectclass, $permalpha)
|
|
{ if ($2) {
|
|
$$ = NewElementSetSpec(eElementSetSpec_Exclusion);
|
|
$$->U.Exclusion.Elements1 = $1;
|
|
$$->U.Exclusion.Elements2 = $2;
|
|
} else {
|
|
$$ = $1;
|
|
}
|
|
}
|
|
;
|
|
|
|
Exclusions_Opt(type, objectclass, permalpha)
|
|
: Exclusions($type, $objectclass, $permalpha)
|
|
{ $$ = $1;
|
|
}
|
|
| /* empty */
|
|
{ $$ = NULL;
|
|
}
|
|
;
|
|
|
|
Exclusions(type, objectclass, permalpha)
|
|
: "EXCEPT" Elements($type, $objectclass, $permalpha)
|
|
{ $$ = $2;
|
|
}
|
|
;
|
|
|
|
UnionMark
|
|
: '|'
|
|
| "UNION"
|
|
;
|
|
|
|
IntersectionMark
|
|
: '^'
|
|
| "INTERSECTION"
|
|
;
|
|
|
|
Elements(type, objectclass, permalpha)
|
|
:
|
|
{ if ($objectclass)
|
|
LLFAILED((&@@, "Bad object set"));
|
|
}
|
|
SubtypeElements($type, $permalpha)
|
|
{ $$ = NewElementSetSpec(eElementSetSpec_SubtypeElement);
|
|
$$->U.SubtypeElement.SubtypeElement = $1;
|
|
}
|
|
|
|
|
{ if ($type)
|
|
LLFAILED((&@@, "Bad constraint"));
|
|
}
|
|
ObjectSetElements($objectclass)
|
|
{ $$ = NewElementSetSpec(eElementSetSpec_ObjectSetElement);
|
|
$$->U.ObjectSetElement.ObjectSetElement = $1;
|
|
}
|
|
| '(' ElementSetSpec($type, $objectclass, $permalpha) ')'
|
|
{ $$ = $2;
|
|
}
|
|
;
|
|
|
|
SubtypeElements(type, permalpha)
|
|
:
|
|
{ Type_e type;
|
|
type = GetTypeType($<<.Assignments, $type);
|
|
if (type == eType_Open)
|
|
LLFAILED((&@@, "Bad constraint"));
|
|
}
|
|
SingleValue($type)
|
|
{ $$ = $1;
|
|
}
|
|
|
|
|
{ Type_e type;
|
|
type = GetTypeType($<<.Assignments, $type);
|
|
if (type == eType_EmbeddedPdv ||
|
|
type == eType_External ||
|
|
type == eType_Open ||
|
|
type == eType_CharacterString)
|
|
LLFAILED((&@@, "Bad constraint"));
|
|
}
|
|
ContainedSubtype($type)
|
|
{ $$ = $1;
|
|
}
|
|
|
|
|
{ Type_e type;
|
|
type = GetTypeType($<<.Assignments, $type);
|
|
if ($permalpha ?
|
|
(type != eType_Undefined &&
|
|
type != eType_BMPString &&
|
|
type != eType_IA5String &&
|
|
type != eType_NumericString &&
|
|
type != eType_PrintableString &&
|
|
type != eType_VisibleString &&
|
|
type != eType_UniversalString) :
|
|
(type != eType_Undefined &&
|
|
type != eType_Integer &&
|
|
type != eType_Real))
|
|
LLFAILED((&@@, "Bad constraint"));
|
|
}
|
|
ValueRange($type)
|
|
{ $$ = $1;
|
|
}
|
|
|
|
|
{ Type_e type;
|
|
type = GetTypeType($<<.Assignments, $type);
|
|
if (type != eType_Undefined &&
|
|
!IsRestrictedString(type) ||
|
|
$permalpha)
|
|
LLFAILED((&@@, "Bad constraint"));
|
|
}
|
|
PermittedAlphabet($type)
|
|
{ $$ = $1;
|
|
}
|
|
|
|
|
{ Type_e type;
|
|
type = GetTypeType($<<.Assignments, $type);
|
|
if (type != eType_Undefined &&
|
|
type != eType_BitString &&
|
|
type != eType_OctetString &&
|
|
type != eType_UTF8String &&
|
|
type != eType_SequenceOf &&
|
|
type != eType_SetOf &&
|
|
type != eType_CharacterString &&
|
|
!IsRestrictedString(type) ||
|
|
$permalpha)
|
|
LLFAILED((&@@, "Bad constraint"));
|
|
}
|
|
SizeConstraint
|
|
{ $$ = $1;
|
|
}
|
|
|
|
|
{ Type_e type;
|
|
type = GetTypeType($<<.Assignments, $type);
|
|
if (type != eType_Undefined &&
|
|
type != eType_Open ||
|
|
$permalpha)
|
|
LLFAILED((&@@, "Bad constraint"));
|
|
}
|
|
TypeConstraint
|
|
{ $$ = $1;
|
|
}
|
|
|
|
|
{ Type_e type;
|
|
type = GetTypeType($<<.Assignments, $type);
|
|
if (type != eType_Undefined &&
|
|
type != eType_Choice &&
|
|
type != eType_EmbeddedPdv &&
|
|
type != eType_External &&
|
|
type != eType_InstanceOf &&
|
|
type != eType_Real &&
|
|
type != eType_Sequence &&
|
|
type != eType_SequenceOf &&
|
|
type != eType_Set &&
|
|
type != eType_SetOf &&
|
|
type != eType_CharacterString ||
|
|
$permalpha)
|
|
LLFAILED((&@@, "Bad constraint"));
|
|
}
|
|
InnerTypeConstraints($type)
|
|
{ $$ = $1;
|
|
}
|
|
;
|
|
|
|
SingleValue(type)
|
|
: Value($type)
|
|
{ $$ = NewSubtypeElement(eSubtypeElement_SingleValue);
|
|
$$->U.SingleValue.Value = $1;
|
|
}
|
|
;
|
|
|
|
ContainedSubtype(type)
|
|
: Includes Type
|
|
{ if (GetTypeType($>>.Assignments, $2) == eType_Null && !$1)
|
|
LLFAILED((&@1, "Bad constraint"));
|
|
if (GetTypeType($>>.Assignments, $type) != eType_Undefined &&
|
|
GetTypeType($>>.Assignments, $2) != eType_Undefined &&
|
|
GetTypeType($>>.Assignments, $type) !=
|
|
GetTypeType($>>.Assignments, $2) &&
|
|
GetTypeType($>>.Assignments, $type) != eType_Open &&
|
|
GetTypeType($>>.Assignments, $2) != eType_Open &&
|
|
(!IsRestrictedString(GetTypeType($>>.Assignments, $type)) ||
|
|
!IsRestrictedString(GetTypeType($>>.Assignments, $2))))
|
|
LLFAILED((&@2, "Bad type of contained-subtype-constraint"));
|
|
$$ = NewSubtypeElement(eSubtypeElement_ContainedSubtype);
|
|
$$->U.ContainedSubtype.Type = $2;
|
|
}
|
|
;
|
|
|
|
Includes
|
|
: "INCLUDES"
|
|
{ $$ = 1;
|
|
}
|
|
| /* empty */
|
|
{ $$ = 0;
|
|
}
|
|
;
|
|
|
|
ValueRange(type)
|
|
: LowerEndpoint($type) ".." UpperEndpoint($type)
|
|
{ if (!$type) {
|
|
$$ = NULL;
|
|
} else {
|
|
$$ = NewSubtypeElement(eSubtypeElement_ValueRange);
|
|
$$->U.ValueRange.Lower = $1;
|
|
$$->U.ValueRange.Upper = $3;
|
|
}
|
|
}
|
|
;
|
|
|
|
LowerEndpoint(type)
|
|
: LowerEndValue($type) '<'
|
|
{ $$ = $1;
|
|
$$.Flags |= eEndPoint_Open;
|
|
}
|
|
| LowerEndValue($type)
|
|
{ $$ = $1;
|
|
}
|
|
;
|
|
|
|
UpperEndpoint(type)
|
|
: '<' UpperEndValue($type)
|
|
{ $$ = $2;
|
|
$$.Flags |= eEndPoint_Open;
|
|
}
|
|
| UpperEndValue($type)
|
|
{ $$ = $1;
|
|
}
|
|
;
|
|
|
|
LowerEndValue(type)
|
|
: Value($type)
|
|
{ $$.Value = $1;
|
|
$$.Flags = 0;
|
|
}
|
|
| "MIN"
|
|
{ $$.Value = NULL;
|
|
$$.Flags = eEndPoint_Min;
|
|
}
|
|
;
|
|
|
|
UpperEndValue(type)
|
|
: Value($type)
|
|
{ $$.Value = $1;
|
|
$$.Flags = 0;
|
|
}
|
|
| "MAX"
|
|
{ $$.Value = NULL;
|
|
$$.Flags = eEndPoint_Max;
|
|
}
|
|
;
|
|
|
|
SizeConstraint
|
|
: "SIZE" Constraint(Builtin_Type_PositiveInteger, 0)
|
|
{ $$ = NewSubtypeElement(eSubtypeElement_Size);
|
|
$$->U.Size.Constraints = $2;
|
|
}
|
|
;
|
|
|
|
TypeConstraint
|
|
: Type
|
|
{ $$ = NewSubtypeElement(eSubtypeElement_Type);
|
|
$$->U.Type.Type = $1;
|
|
}
|
|
;
|
|
|
|
PermittedAlphabet(type)
|
|
: "FROM" Constraint($type, 1)
|
|
{ $$ = NewSubtypeElement(eSubtypeElement_PermittedAlphabet);
|
|
$$->U.PermittedAlphabet.Constraints = $2;
|
|
}
|
|
;
|
|
|
|
InnerTypeConstraints(type)
|
|
:
|
|
{ Type_t *subtype;
|
|
if (GetTypeType($<<.Assignments, $type) != eType_Undefined &&
|
|
GetTypeType($<<.Assignments, $type) != eType_SequenceOf &&
|
|
GetTypeType($<<.Assignments, $type) != eType_SetOf)
|
|
LLFAILED((&@@, "Bad constraint"));
|
|
if (GetTypeType($<<.Assignments, $type) == eType_Undefined)
|
|
subtype = NULL;
|
|
else
|
|
subtype = GetType($<<.Assignments, $type)->U.SS.Type;
|
|
}
|
|
"WITH" "COMPONENT" SingleTypeConstraint(subtype)
|
|
{ $$ = $3;
|
|
}
|
|
|
|
|
{ Component_t *components;
|
|
if (GetTypeType($<<.Assignments, $type) != eType_Undefined &&
|
|
GetTypeType($<<.Assignments, $type) != eType_Sequence &&
|
|
GetTypeType($<<.Assignments, $type) != eType_Set &&
|
|
GetTypeType($<<.Assignments, $type) != eType_Choice &&
|
|
GetTypeType($<<.Assignments, $type) != eType_Real &&
|
|
GetTypeType($<<.Assignments, $type) != eType_External &&
|
|
GetTypeType($<<.Assignments, $type) != eType_EmbeddedPdv &&
|
|
GetTypeType($<<.Assignments, $type) != eType_CharacterString)
|
|
LLFAILED((&@@, "Bad constraint"));
|
|
if (GetTypeType($<<.Assignments, $type) == eType_Undefined)
|
|
components = NULL;
|
|
else
|
|
components = GetType($<<.Assignments, $type)->U.SSC.Components;
|
|
}
|
|
"WITH" "COMPONENTS" MultipleTypeConstraints(components)
|
|
{ $$ = $3;
|
|
}
|
|
;
|
|
|
|
SingleTypeConstraint(type)
|
|
: Constraint($type, 0)
|
|
{ $$ = NewSubtypeElement(eSubtypeElement_SingleType);
|
|
$$->U.SingleType.Constraints = $1;
|
|
}
|
|
;
|
|
|
|
MultipleTypeConstraints(components)
|
|
: FullSpecification($components)
|
|
{ $$ = $1;
|
|
}
|
|
| PartialSpecification($components)
|
|
{ $$ = $1;
|
|
}
|
|
;
|
|
|
|
FullSpecification(components)
|
|
: '{' TypeConstraints($components) '}'
|
|
{ $$ = NewSubtypeElement(eSubtypeElement_FullSpecification);
|
|
$$->U.FullSpecification.NamedConstraints = $2;
|
|
}
|
|
;
|
|
|
|
PartialSpecification(components)
|
|
: '{' "..." ',' TypeConstraints($components) '}'
|
|
{ $$ = NewSubtypeElement(eSubtypeElement_PartialSpecification);
|
|
$$->U.PartialSpecification.NamedConstraints = $4;
|
|
}
|
|
;
|
|
|
|
TypeConstraints(components)
|
|
: NamedConstraint($components)
|
|
{ $$ = $1;
|
|
}
|
|
| NamedConstraint($components) ',' TypeConstraints($components)
|
|
{ $$ = $1;
|
|
$$->Next = $3;
|
|
}
|
|
;
|
|
|
|
NamedConstraint(components)
|
|
: identifier
|
|
{ Component_t *component;
|
|
Type_t *type;
|
|
component = FindComponent($>1.Assignments, $components, $1);
|
|
type = component ? component->U.NOD.NamedType->Type : NULL;
|
|
}
|
|
ComponentConstraint(type)
|
|
{ $$ = $2;
|
|
$$->Identifier = $1;
|
|
}
|
|
;
|
|
|
|
ComponentConstraint(type)
|
|
: ValueConstraint($type) PresenceConstraint
|
|
{ $$ = NewNamedConstraint();
|
|
$$->Constraint = $1;
|
|
$$->Presence = $2;
|
|
}
|
|
;
|
|
|
|
ValueConstraint(type)
|
|
: Constraint($type, 0)
|
|
{ $$ = $1;
|
|
}
|
|
| /* empty */
|
|
{ $$ = NULL;
|
|
}
|
|
;
|
|
|
|
PresenceConstraint
|
|
: "PRESENT"
|
|
{ $$ = ePresence_Present;
|
|
}
|
|
| "ABSENT"
|
|
{ $$ = ePresence_Absent;
|
|
}
|
|
| "OPTIONAL"
|
|
{ $$ = ePresence_Optional;
|
|
}
|
|
| /* empty */
|
|
{ $$ = ePresence_Normal;
|
|
}
|
|
;
|
|
|
|
GeneralConstraint
|
|
: CON_XXX1 { MyAbort(); } ;
|