---

more::lang Namespace Reference

C++ language and compiler details. More...

Compounds

• struct more::lang::compilation

  The state of a C/C++ compilation and linkage. More...
  
  

• struct more::lang::compilation::source_entry
• struct more::lang::package::ct_struct_ptr_less
• struct more::lang::cx_and

  The representation af a sequential conjunction. More...
  
  

• struct more::lang::cx_cond::cond_conseq
• class more::lang::ct_array

  The runtime representation of an array type. More...
  
  

• class more::lang::ct_incomplete

  A type which can only be passed as a pointer. More...
  
  

• class more::lang::ct_pointer

  The runtime representation of a pointer type. More...
  
  

• class more::lang::ct_proto

  The runtime representation of a prototype. More...
  
  

• class more::lang::ct_struct

  The layout of a store which is of ct_struct type. More...
  
  

• class more::lang::ct_struct::member

  A descriptor of a member of a structure. More...
  
  

• class more::lang::ct_type

  Abstract base class for runtime type representation. More...
  
  

• class more::lang::cx_call

  The representation of a C function call. More...
  
  

• class more::lang::cx_cond

  The representation of a sequence of if/else statements using a Scheme like interface. More...
  
  

• struct more::lang::cx_deref_locator

  The locator of an object referred to by a pointer. More...
  
  

• struct more::lang::cx_expr_with_ctor_dtor::ctor_dtor_type
• class more::lang::cx_block

  The representation of a C block containing declarations and statements. More...
  
  

• class more::lang::cx_expr

  The base class for expressions which can be directly coded into C source and possibly evaluated runtime. More...
  
  

• class more::lang::cx_expr_with_ctor_dtor

  The representation of an expression with attached constrution an destruction code. More...
  
  

• class more::lang::cx_identifier

  The representation of a variable (auto, global, or function name). More...
  
  

• class more::lang::cx_lambda

  A lambda expression used as the definiens of a function definition. More...
  
  

• class more::lang::cx_literal

  The representation of a C literal. More...
  
  

• struct more::lang::cx_locator

  The locator of an object inside a compound. More...
  
  

• struct more::lang::cx_locator_resolver

  Handler for a location inside a location. More...
  
  

• struct more::lang::cx_member_locator

  The locator of a member in a structure. More...
  
  

• class more::lang::cx_package_variable

  The representation of a global C variable with a definition. More...
  
  

• class more::lang::cx_pattern

  The representation of a named function call or arbitrary C expression. More...
  
  

• class more::lang::cx_resolver

  The interface for handling lazy resoltion of value addresses. More...
  
  

• class more::lang::cx_switch

  The representation of a C switch block. More...
  
  

• class more::lang::location

  A lazily resolved value. More...
  
  

• class more::lang::package

  A package of C function and type definitions. More...
  
  

• struct more::lang::resolver
• struct more::lang::rt_closure
• struct more::lang::rt_closure_proto

Typedefs

• typedef void(* fn_ptr_t )()

  Type used for function pointers with unknown prototype. More...
  
  

• typedef unsigned char uint_least8_t

  an unsigned integer at least 8 bits wide. More...
  
  

• typedef signed char int_least8_t

  a signed integer at least 8 bits wide. More...
  
  

• typedef uint_least8_t uint_fast8_t
• typedef int_least8_t int_fast8_t
• typedef uint_least8_t uint8_t
• typedef int_least8_t int8_t
• typedef uint_least16_t uint_fast16_t
• typedef int_least16_t int_fast16_t
• typedef uint_least16_t uint16_t
• typedef int_least16_t int16_t
• typedef uint_least32_t uint_fast32_t
• typedef int_least32_t int_fast32_t
• typedef uint_least32_t uint32_t
• typedef int_least32_t int32_t
• typedef long intmax_t
• typedef unsigned long uintmax_t
• typedef unsigned int uintptr_t
• typedef int intptr_t

Enumerations

• enum lang_t {
    lang_undefined, lang_c, lang_cxx, lang_scheme,
    lang_java, lang_shell, lang_perl, lang_f77,
    lang_f90, lang_end
  }

  An enum type to identify a programming language. More...
  
  

Functions

• std::string language_name (lang_t lang)
• std::string header_file_name (std::string const &bname, lang_t lang, std::string const &dir=".")
• std::string source_file_name (std::string const &bname, lang_t lang, std::string const &dir=".")
• std::string c_header_file_name (std::string const &bname, std::string const &dir=".")
• std::string cxx_header_file_name (std::string const &bname, std::string const &dir=".")
• std::string c_source_file_name (std::string const &bname, std::string const &dir=".")
• std::string cxx_source_file_name (std::string const &bname, std::string const &dir=".")
• std::string ltobject_file_name (std::string const &bname, std::string const &dir=".")
• std::string program_file_name (std::string const &bname, std::string const &dir=".")
• std::string library_file_name (std::string const &bname, std::string const &dir=".")
• std::string dlopen_file_name (std::string const &bname, std::string const &dir=".")
• ct_proto * make_proto (ct_type const *arg0,...)

  Make a prototype with given arguments and result type. More...
  
  

• bool equal (ct_type const *t0, ct_type const *t1)

  Return true if t0 and t1 are equal, taking into account CV qualifiers. More...
  
  

• template<typename T> ct_type const * ct_type_of ()

  Returns the ct_type descriptor of T. More...
  
  

• template<typename T> ct_type const * ct_type_of (T x)

  Return type ct_type descriptor of T. More...
  
  

• template<typename T> void register_ct_type_of (ct_type const *t)

  Provide a type descriptor t for the type T. More...
  
  

• ct_type const * arithmetic_result_type (ct_type const *x, ct_type const *y)

  Return result type of a binary arithmetic operation on x and y, or 0 if invalid. More...
  
  

• cx_block * make_block ()
• cx_expr * make_literal (char x)
• cx_expr * make_literal (int x)
• cx_expr * make_literal (unsigned int x)
• cx_expr * make_literal (long x)
• cx_expr * make_literal (unsigned long x)
• cx_expr * make_literal (char const *x)
• cx_call * make_call (cx_expr *fn,...)

  Return the representation of a function call to fn. More...
  
  

• cx_expr * make_expr (char const *pattern, ct_type const *,...)

  Create a C expression. More...
  
  

• cx_expr * make_stmt (char const *pattern,...)

  Same as make_expr(pattern, ct_type_of<void>(), ...). More...
  
  

• cx_expr * make_deref_expr (cx_expr *)
• cx_expr * make_element_expr (cx_expr *, cx_expr *)
• cx_expr * make_cast (ct_type const *, cx_expr *)
• cx_expr * make_not (cx_expr *)
• cx_expr * make_equal (cx_expr *, cx_expr *)
• cx_expr * make_less (cx_expr *, cx_expr *)
• cx_expr * make_lesseq (cx_expr *, cx_expr *)
• cx_expr * make_assignment (cx_expr *dst, cx_expr *src)
• cx_expr * make_negation (cx_expr *x)
• cx_expr * make_sum (cx_expr *x, cx_expr *y)
• cx_expr * make_difference (cx_expr *x, cx_expr *y)
• cx_expr * make_product (cx_expr *x, cx_expr *y)
• cx_expr * make_quotient (cx_expr *x, cx_expr *y)
• cx_expr * make_modulus (cx_expr *x, cx_expr *y)
• cx_expr * make_bitnot (cx_expr *)
• cx_expr * make_bitand (cx_expr *, cx_expr *)
• cx_expr * make_bitor (cx_expr *, cx_expr *)
• cx_expr * make_bitxor (cx_expr *, cx_expr *)
• cx_expr * make_bitlsh (cx_expr *, cx_expr *)
• cx_expr * make_bitrsh (cx_expr *, cx_expr *)
• cx_expr * make_return (cx_expr *x)
• cx_expr * make_return ()
• cx_expr * make_break ()
• cx_expr * make_while (cx_expr *cond, cx_expr *blk)
• cx_expr * make_do_while (cx_expr *blk, cx_expr *cond)
• bool parse_header (rt_package *dest, char const *hdr)
• bool equal (resolver *h0, resolver *h1)
• bool equal (location *locn0, location *locn1)
• package * bits_package ()
• package * self_package ()

  An anonymous package containing the symbols of the running program. More...
  
  

Variables

• template cx_literal<char>
• template cx_literal<int>
• template cx_literal<unsigned int>
• template cx_literal<long>
• template cx_literal<unsigned long>
• template cx_literal<long double>
• template cx_literal<char const*>

---

Detailed Description

C++ language and compiler details.

Access to structure data and functions based on runtime descriptions. Code generation, compilation and linkage.

---

Typedef Documentation

typedef void(* more::lang::fn_ptr_t)()

Type used for function pointers with unknown prototype.

typedef int_least16_t more::lang::int16_t

typedef int_least32_t more::lang::int32_t

typedef int_least8_t more::lang::int8_t

typedef int_least16_t more::lang::int_fast16_t

typedef int_least32_t more::lang::int_fast32_t

typedef int_least8_t more::lang::int_fast8_t

typedef signed char more::lang::int_least8_t

a signed integer at least 8 bits wide.

typedef long more::lang::intmax_t

typedef int more::lang::intptr_t

typedef uint_least16_t more::lang::uint16_t

typedef uint_least32_t more::lang::uint32_t

typedef uint_least8_t more::lang::uint8_t

typedef uint_least16_t more::lang::uint_fast16_t

typedef uint_least32_t more::lang::uint_fast32_t

typedef uint_least8_t more::lang::uint_fast8_t

typedef unsigned char more::lang::uint_least8_t

an unsigned integer at least 8 bits wide.

typedef unsigned long more::lang::uintmax_t

typedef unsigned int more::lang::uintptr_t

---

Enumeration Type Documentation

enum more::lang::lang_t

An enum type to identify a programming language. Enumeration values: lang_undefined  lang_c  lang_cxx  lang_scheme  lang_java  lang_shell  lang_perl  lang_f77  lang_f90  lang_end

---

Function Documentation

ct_type const* arithmetic_result_type (  ct_type const *    x, ct_type const *    y )

Return result type of a binary arithmetic operation on x and y, or 0 if invalid. The result is detemined by type promotion and coversion rule.

package* bits_package (    )

std::string c_header_file_name (  std::string const &    bname, std::string const &    dir = "." )

std::string c_source_file_name (  std::string const &    bname, std::string const &    dir = "." )

template<typename T> ct_type const* ct_type_of (  T    x )  [inline]

Return type ct_type descriptor of T.

template<typename T> ct_type const* ct_type_of (    )  [inline]

Returns the ct_type descriptor of T. If T is not a builtin type, or a pointer to or array of such, register_ct_type_of must be called once first with the same type argument to register the type descriptor.

std::string cxx_header_file_name (  std::string const &    bname, std::string const &    dir = "." )

std::string cxx_source_file_name (  std::string const &    bname, std::string const &    dir = "." )

std::string dlopen_file_name (  std::string const &    bname, std::string const &    dir = "." )

bool equal (  location *    locn0, location *    locn1 )  [inline]

bool equal (  resolver *    h0, resolver *    h1 )  [inline]

bool equal (  ct_type const *    t0, ct_type const *    t1 )  [inline]

Return true if t0 and t1 are equal, taking into account CV qualifiers.

std::string header_file_name (  std::string const &    bname, lang_t    lang, std::string const &    dir = "." )

std::string language_name (  lang_t    lang )

std::string library_file_name (  std::string const &    bname, std::string const &    dir = "." )

std::string ltobject_file_name (  std::string const &    bname, std::string const &    dir = "." )

cx_expr* make_assignment (  cx_expr *    dst, cx_expr *    src )

cx_expr* make_bitand (  cx_expr *   , cx_expr *    )

cx_expr* make_bitlsh (  cx_expr *   , cx_expr *    )

cx_expr* make_bitnot (  cx_expr *    )

cx_expr* make_bitor (  cx_expr *   , cx_expr *    )

cx_expr* make_bitrsh (  cx_expr *   , cx_expr *    )

cx_expr* make_bitxor (  cx_expr *   , cx_expr *    )

cx_block* make_block (    )  [inline]

cx_expr* make_break (    )

cx_call* make_call (  cx_expr *    fn, ...    )

Return the representation of a function call to fn. The arguments is a (cx_expr*)0-terminated VA list of cx_expr*.

cx_expr* make_cast (  ct_type const *   , cx_expr *    )

cx_expr* make_deref_expr (  cx_expr *    )

cx_expr* make_difference (  cx_expr *    x, cx_expr *    y )

cx_expr* make_do_while (  cx_expr *    blk, cx_expr *    cond )

cx_expr* make_element_expr (  cx_expr *   , cx_expr *    )

cx_expr* make_equal (  cx_expr *   , cx_expr *    )

cx_expr* make_expr (  char const *    pattern, ct_type const *   , ...    )

Create a C expression. For each "%!" in pattern, there shall be one cx_expr* VA argument. The VA list need not be 0-terminated, and is not checked. Use a more specific make_... function if available.

cx_expr* make_less (  cx_expr *   , cx_expr *    )

cx_expr* make_lesseq (  cx_expr *   , cx_expr *    )

cx_expr* make_literal (  char const *    x )  [inline]

cx_expr* make_literal (  unsigned long    x )  [inline]

cx_expr * more::lang::make_literal (  long    x )  [inline]

cx_expr* make_literal (  unsigned int    x )  [inline]

cx_expr* make_literal (  int    x )  [inline]

cx_expr* make_literal (  char    x )  [inline]

cx_expr* make_modulus (  cx_expr *    x, cx_expr *    y )

cx_expr* make_negation (  cx_expr *    x )

cx_expr* make_not (  cx_expr *    )

cx_expr* make_product (  cx_expr *    x, cx_expr *    y )

ct_proto* make_proto (  ct_type const *    arg0, ...    )

Make a prototype with given arguments and result type. The argument types are listed first, followed by the result type, followed by (ct_type*)0.

cx_expr* make_quotient (  cx_expr *    x, cx_expr *    y )

cx_expr* make_return (    )

cx_expr* make_return (  cx_expr *    x )

cx_expr* make_stmt (  char const *    pattern, ...    )

Same as make_expr(pattern, ct_type_of<void>(), ...). Use a more specific make_... function if available.

cx_expr* make_sum (  cx_expr *    x, cx_expr *    y )

cx_expr* make_while (  cx_expr *    cond, cx_expr *    blk )

bool parse_header (  rt_package *    dest, char const *    hdr )

std::string program_file_name (  std::string const &    bname, std::string const &    dir = "." )

template<typename T> void register_ct_type_of (  ct_type const *    t )  [inline]

Provide a type descriptor t for the type T.

package* self_package (    )

An anonymous package containing the symbols of the running program. Precondition: The program must be compiled with -export-dynamic or -dlopen self (see the Libtool documentation). Exceptions: std::runtime_error  if dlopen-ing itself is not possible.

std::string source_file_name (  std::string const &    bname, lang_t    lang, std::string const &    dir = "." )

---

Variable Documentation

template more::lang::cx_literal<char const*>

template more::lang::cx_literal<char>

template more::lang::cx_literal<int>

template more::lang::cx_literal<long double>

template more::lang::cx_literal<long>

template more::lang::cx_literal<unsigned int>

template more::lang::cx_literal<unsigned long>

---