question: private void writeObject ( java . io . ObjectOutputStream p_stream ) throws java . io . IOException { p_stream . defaultWriteObject ( ) ; p_stream . writeInt ( trace_angle_restriction . get_no ( ) ) ; }
target:  Writes an instance of this class to a file 