Titan



extension


The attribute is specified by the user. 

In TITAN the following three arguments are specified:. 

Related keywords:


extension [ override ] [ (qualifier) ] "argument"


Example:

type port Vnitrni_PT message { inout octetstring } with { extension "internal"}

The port called  Vnitrni_PT both sends and receives octetstrings and is used for internal communication only.



BNF definition of extension