• Top
  • Documentation
  • Books
  • Boolean-reasoning
  • Projects
    • Apt
    • Zfc
    • Acre
    • Milawa
    • Smtlink
    • Abnf
    • Vwsim
    • Isar
    • Wp-gen
    • Dimacs-reader
    • Pfcs
    • Legacy-defrstobj
    • C
    • Proof-checker-array
    • Soft
    • Farray
    • Rp-rewriter
    • Instant-runoff-voting
    • Imp-language
    • Sidekick
    • Ethereum
    • Leftist-trees
    • Java
      • Atj
        • Atj-implementation
          • Atj-types
          • Atj-java-primitive-array-model
          • Atj-java-abstract-syntax
          • Atj-input-processing
          • Atj-java-pretty-printer
            • Jexpr-rank
            • Print-jexprs
            • Print-jchar
            • Print-jstatems+jblocks
            • Print-jclasses+jcmembers
              • Print-jcbody-element-list
              • Print-jcmember
              • Print-jcbody-element
              • Print-jclass
            • Jbinop-expected-ranks
            • Jexpr->rank
            • Jexpr-rank-<=
            • Print-jexpr
            • Print-optional-integer-type-suffix
            • Print-octdig/uscore-list
            • Print-oct-integer-literal
            • Print-jcunit
            • Print-hexdig/uscore-list
            • Print-hex-integer-literal
            • Print-decdig/uscore-list
            • Print-dec-integer-literal
            • Print-bindig/uscore-list
            • Print-bin-integer-literal
            • Print-integer-literal
            • Print-octdig/uscore
            • Print-jmethod
            • Print-jfield
            • Print-hexdig/uscore
            • Print-decdig/uscore
            • Print-bindig/uscore
            • Print-jclass-list
            • Print-jlocvar
            • Print-jliteral
            • Print-jcinitializer
            • Print-jline
            • Print-jimports
            • Print-jchars
            • Print-comma-sep
            • Print-jimport
            • Print-jbinop
            • Print-primitive-type
            • Print-jparam-list
            • Print-jlines-to-channel
            • Jexpr-rank-index
            • Atj-indent
            • Print-to-jfile
            • Print-jparam
            • Print-jaccess
            • Print-oct-digit
            • Print-junop
            • Print-jtype
            • Print-jresult
            • Print-hex-digit
            • Print-dec-digit
            • Print-bin-digit
            • Print-jline-blank
          • Atj-code-generation
          • Atj-java-primitives
          • Atj-java-primitive-arrays
          • Atj-type-macros
          • Atj-java-syntax-operations
          • Atj-fn
          • Atj-library-extensions
          • Atj-java-input-types
          • Atj-test-structures
          • Aij-notions
          • Atj-macro-definition
        • Atj-tutorial
      • Aij
      • Language
    • Riscv
    • Taspi
    • Bitcoin
    • Zcash
    • Des
    • X86isa
    • Sha-2
    • Yul
    • Proof-checker-itp13
    • Regex
    • ACL2-programming-language
    • Json
    • Jfkr
    • Equational
    • Cryptography
    • Axe
    • Poseidon
    • Where-do-i-place-my-book
    • Aleo
    • Bigmems
    • Builtins
    • Execloader
    • Solidity
    • Paco
    • Concurrent-programs
    • Bls12-377-curves
  • Debugging
  • Community
  • Std
  • Proof-automation
  • Macro-libraries
  • ACL2
  • Interfacing-tools
  • Hardware-verification
  • Software-verification
  • Math
  • Testing-utilities

• Print-jclasses+jcmembers

Print-jclass

Pretty-print a class declaration.

Signature

(print-jclass class indent-level) → lines

Arguments

class — Guard (jclassp class).

indent-level — Guard (natp indent-level).

Returns

lines — Type (msg-listp lines).