source.py 4.0 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118
  1. #!/usr/bin/env python3
  2. # ex: set filetype=python:
  3. """Translate an XDR specification into executable code that
  4. can be compiled for the Linux kernel."""
  5. import logging
  6. from argparse import Namespace
  7. from lark import logger
  8. from lark.exceptions import UnexpectedInput
  9. from generators.source_top import XdrSourceTopGenerator
  10. from generators.enum import XdrEnumGenerator
  11. from generators.pointer import XdrPointerGenerator
  12. from generators.program import XdrProgramGenerator
  13. from generators.typedef import XdrTypedefGenerator
  14. from generators.struct import XdrStructGenerator
  15. from generators.union import XdrUnionGenerator
  16. from xdr_ast import transform_parse_tree, _RpcProgram, Specification
  17. from xdr_ast import _XdrAst, _XdrEnum, _XdrPointer
  18. from xdr_ast import _XdrStruct, _XdrTypedef, _XdrUnion
  19. from xdr_parse import xdr_parser, set_xdr_annotate
  20. logger.setLevel(logging.INFO)
  21. def emit_source_decoder(node: _XdrAst, language: str, peer: str) -> None:
  22. """Emit one XDR decoder function for a source file"""
  23. if isinstance(node, _XdrEnum):
  24. gen = XdrEnumGenerator(language, peer)
  25. elif isinstance(node, _XdrPointer):
  26. gen = XdrPointerGenerator(language, peer)
  27. elif isinstance(node, _XdrTypedef):
  28. gen = XdrTypedefGenerator(language, peer)
  29. elif isinstance(node, _XdrStruct):
  30. gen = XdrStructGenerator(language, peer)
  31. elif isinstance(node, _XdrUnion):
  32. gen = XdrUnionGenerator(language, peer)
  33. elif isinstance(node, _RpcProgram):
  34. gen = XdrProgramGenerator(language, peer)
  35. else:
  36. return
  37. gen.emit_decoder(node)
  38. def emit_source_encoder(node: _XdrAst, language: str, peer: str) -> None:
  39. """Emit one XDR encoder function for a source file"""
  40. if isinstance(node, _XdrEnum):
  41. gen = XdrEnumGenerator(language, peer)
  42. elif isinstance(node, _XdrPointer):
  43. gen = XdrPointerGenerator(language, peer)
  44. elif isinstance(node, _XdrTypedef):
  45. gen = XdrTypedefGenerator(language, peer)
  46. elif isinstance(node, _XdrStruct):
  47. gen = XdrStructGenerator(language, peer)
  48. elif isinstance(node, _XdrUnion):
  49. gen = XdrUnionGenerator(language, peer)
  50. elif isinstance(node, _RpcProgram):
  51. gen = XdrProgramGenerator(language, peer)
  52. else:
  53. return
  54. gen.emit_encoder(node)
  55. def generate_server_source(filename: str, root: Specification, language: str) -> None:
  56. """Generate server-side source code"""
  57. gen = XdrSourceTopGenerator(language, "server")
  58. gen.emit_source(filename, root)
  59. for definition in root.definitions:
  60. emit_source_decoder(definition.value, language, "server")
  61. for definition in root.definitions:
  62. emit_source_encoder(definition.value, language, "server")
  63. def generate_client_source(filename: str, root: Specification, language: str) -> None:
  64. """Generate server-side source code"""
  65. gen = XdrSourceTopGenerator(language, "client")
  66. gen.emit_source(filename, root)
  67. # cel: todo: client needs XDR size macros
  68. for definition in root.definitions:
  69. emit_source_encoder(definition.value, language, "client")
  70. for definition in root.definitions:
  71. emit_source_decoder(definition.value, language, "client")
  72. # cel: todo: client needs PROC macros
  73. def handle_parse_error(e: UnexpectedInput) -> bool:
  74. """Simple parse error reporting, no recovery attempted"""
  75. print(e)
  76. return True
  77. def subcmd(args: Namespace) -> int:
  78. """Generate encoder and decoder functions"""
  79. set_xdr_annotate(args.annotate)
  80. parser = xdr_parser()
  81. with open(args.filename, encoding="utf-8") as f:
  82. parse_tree = parser.parse(f.read(), on_error=handle_parse_error)
  83. ast = transform_parse_tree(parse_tree)
  84. match args.peer:
  85. case "server":
  86. generate_server_source(args.filename, ast, args.language)
  87. case "client":
  88. generate_client_source(args.filename, ast, args.language)
  89. case _:
  90. print("Code generation for", args.peer, "is not yet supported")
  91. return 0