(self, imports=())
return "\n".join([docstring] + list(imports) + ["\n"])
Returns a header string for an auto-generated Python source file.
Returns a header string for an auto-generated Python source file.
Returns a header string for an auto - generated Python source file .
def make_header(self, imports=()):
    """Returns a header string for an auto-generated Python source file."""
    docstring = textwrap.dedent("""
    \"\"\"Automatically generated by {scriptname:}.

    MuJoCo header version: {mujoco_version:}
    \"\"\"
    """.format(scriptname=os.path.split(__file__)[-1],
               mujoco_version=self.consts_dict["mjVERSION_HEADER"]))
    docstring = docstring[1:]  # Strip the leading line break.
    return "\n".join([docstring] + list(imports) + ["\n"])
def make_header ( self , imports = ( ) ) : docstring = textwrap . dedent ( """
    \"\"\"Automatically generated by {scriptname:}.

    MuJoCo header version: {mujoco_version:}
    \"\"\"
    """ . format ( scriptname = os . path . split ( __file__ ) [ - 1 ] , mujoco_version = self . consts_dict [ "mjVERSION_HEADER" ] ) ) docstring = docstring [ 1 : ] # Strip the leading line break. return "\n" . join ( [ docstring ] + list ( imports ) + [ "\n" ] )