posIdent property

@TagNumber.new(1) String get posIdent

PosIdent is the identifier of the position.

Implementation

@$pb.TagNumber(1)
$core.String get posIdent => $_getSZ(0);

@TagNumber.new(1) set posIdent (String v)

Implementation

@$pb.TagNumber(1)
set posIdent($core.String v) { $_setString(0, v); }