anchor.diff:      [];
   get_taglist(S,#'ObjectClassFieldType'{type={fixedtypevaluefield,_,Type}}) ->
       get_taglist(S,Type);
  -get_taglist(S,{ERef=#'Externaltypereference'{},FieldNameList})
  -  when is_list(FieldNameList) ->
  -    case get_ObjectClassFieldType(S,ERef,FieldNameList) of
  -	{fixedtypevaluefield,_,Type} -> get_taglist(S,Type);
  -	{TypeFieldName,_} when is_atom(TypeFieldName) -> []%should check if allowed
  -    end;
  -get_taglist(S,{ObjCl,FieldNameList}) when is_record(ObjCl,objectclass),
  -					  is_list(FieldNameList) ->
  -    case get_ObjectClassFieldType(S,ObjCl#objectclass.fields,FieldNameList) of
  -	{fixedtypevaluefield,_,Type} -> get_taglist(S,Type);
  -	{TypeFieldName,_} when is_atom(TypeFieldName) -> []%should check if allowed
  -    end;
   get_taglist(_, _) ->
       [].
   
  
positive.code: %% any UNIQUE field, so that a component relation constraint cannot specify
  %% the type of a typefield, return 'ASN1_OPEN_TYPE'.
  %% 
  maybe_open_type(S,ClassSpec=#objectclass{fields=Fs},
  		OCFT=#'ObjectClassFieldType'{fieldname=FieldRefList},
  		Constr) ->
      Type = get_ObjectClassFieldType(S,Fs,FieldRefList),
      FieldNames=get_referenced_fieldname(FieldRefList),
      case last_fieldname(FieldRefList) of
  	{valuefieldreference,_} ->
  	    OCFT#'ObjectClassFieldType'{fieldname=FieldNames,
  					type=Type};
  	{typefieldreference,_} ->
  	    case {catch get_unique_fieldname(S,#classdef{typespec=ClassSpec}),
  		  asn1ct_gen:get_constraint(Constr,componentrelation)}of
  		{Tuple,_} when tuple_size(Tuple) =:= 3 ->
  		    OCFT#'ObjectClassFieldType'{fieldname=FieldNames,
  						type='ASN1_OPEN_TYPE'};
  
negative.code: parameter_name_style(#'Externalvaluereference'{}) ->
      beginning_lowercase.
  
  %% categorize(Parameter) -> CategorizedParameter
  %% If Parameter has an abstract syntax of another category than
  %% Category, transform it to a known syntax.
  