Commit 0709ca14 authored by seb's avatar seb
Browse files

No commit message 

No commit message
parent 7c61f48e

ttcn3/EtsiLibrary/LibIpv6/LibCore/LibIpv6_Rfc2894RouterRenumbering_TypesAndValues.ttcn

+9 −9
Original line number Diff line number Diff line
@@ -64,9 +64,9 @@ 
	type record RrControlBody {

		RrPrefixControlOperationList rrPrefixControlOperationList optional

	}

	with {

		encode "isPDU=LibIpv6_Rfc2894RouterRenumbering_TypesAndValues;present=(valueOf(getTag(\"icmpCode\")) == 0);";

	}

//	with {

//		encode "isPDU=LibIpv6_Rfc2894RouterRenumbering_TypesAndValues;present=(valueOf(getTag(\"icmpCode\")) == 0);";

//	}

	

	

	type set length (1..c_maxNrRrPrefixControlOperation) of RrPrefixControlOperation RrPrefixControlOperationList;
@@ -118,9 +118,9 @@ 
	type record RrResultBody {

		RrMatchReportList rrMatchReportList optional

	}

	with {

		encode "isPDU=LibIpv6_Rfc2894RouterRenumbering_TypesAndValues;present=(valueOf(getTag(\"icmpCode\")) == 1);";

	}

//	with {

//		encode "isPDU=LibIpv6_Rfc2894RouterRenumbering_TypesAndValues;present=(valueOf(getTag(\"icmpCode\")) == 1);";

//	}

	

	type set length (1..c_maxNrRrMatchReport) of RrMatchReport RrMatchReportList;
@@ -137,8 +137,8 @@ 
	type record RrSeqNumberReset {

		octetstring data optional

	}

	with {

		encode "isPDU=LibIpv6_Rfc2894RouterRenumbering_TypesAndValues;present=(valueOf(getTag(\"icmpCode\")) == 255);";

	}

//	with {

//		encode "isPDU=LibIpv6_Rfc2894RouterRenumbering_TypesAndValues;present=(valueOf(getTag(\"icmpCode\")) == 255);";

//	}

		

} // end module LibIpv6_Rfc2894RouterRenumbering_TypesAndValues