<s>[INST] write the field to a class file . concode_field_sep ClassInfo classInfo concode_elem_sep int name concode_elem_sep int modifiers concode_elem_sep int type concode_elem_sep Attribute[] attrs concode_elem_sep ConstantValue constantValue concode_field_sep void setConstantValue concode_elem_sep int typeIndex concode_elem_sep int nameIndex concode_elem_sep void setNameIndex concode_elem_sep String toString concode_elem_sep void setTypeIndex concode_elem_sep void setModifiers concode_elem_sep int modifiers concode_elem_sep ClassInfo declaringClass concode_elem_sep int constantValue [/INST] void function ( final DataOutputStream arg0 ) { arg0 . writeShort ( modifiers ) ; arg0 . writeShort ( name ) ; arg0 . writeShort ( type ) ; arg0 . writeShort ( attrs . length ) ; for ( int loc0 = 0 ; loc0 < attrs . length ; loc0 ++ ) { arg0 . writeShort ( attrs [ loc0 ] . nameIndex ( ) ) ; arg0 . writeInt ( attrs [ loc0 ] . length ( ) ) ; attrs [ loc0 ] . writeData ( arg0 ) ; } </s>