Next: Algorithm
Up: Property
Previous: Property

Accept

Description

The Accept property is used to further specify a role definition in UniCon. It specifies which players can be associated with the given role in a connection. The players are specified as component-player type combinations. For example, assume the type combination Filter.StreamIn is in the value part of an Accept property. This means that the role may be associated with players of type StreamIn that are defined in components of type Filter.

Each role type in UniCon has a default accept list specifying a distinct set of type combinations. The Accept property can only be used in a role definition to restrict this default set; the default set cannot be extended in any way.

Property Lists

The Accept property can legally be specified in the property list in the following UniCon language element:

<role>

Value Syntax

The syntax of the value part of the Accept property is a comma-separated list of dot-separated pairs of <identifier>s, enclosed in parentheses. The case of the letters can be upper, lower, or mixed.

Required Rule

Optional

The default values depend upon the <role_type> in the <role> definition. Please refer to the descriptions of the UniCon role types in this manual for information on the default values for the Accept property in each case.

Merge Rule

MERGE

More than one specification of the Accept property in a single property list is treated as a single specification with the union of all values in all of the specifications.

Semantic Checks

The following are the semantic checks performed on values of the Accept property:

The first "string" or <identifier> in each dot-separated pair must name a valid UniCon component type.
The second "string" or <identifier> in each dot-separated pair must name a valid UniCon player type.
Each component-player type combination must name a valid component-player type combination in the default accept list for the given role type.

Example

The following is an example of an Accept property. It is embedded in a definition of a role of type Source:

  ROLE Unix_Pipe_Input_End IS Source
    ACCEPT (General.ReadNext, SeqFile.ReadNext,
      General.StreamOut, Filter.StreamOut)
  END Unix_Pipe_Input_End

Next: Algorithm
Up: Property
Previous: Property

Comments? Mail the current maintainer of this page.

Author: Gregory Zelesnik

Last Modified: May 12, 1996