package frama-c

  1. Overview
  2. Docs
package frama-c
Legend:
Library
Module
Module type
Parameter
Class
Class type

Minimal signature to implement for each parameter corresponding to an option on the command line argument which requires an argument.

include Input
val option_name : string

The name of the option

val help : string

A description for this option (e.g. used by -help). If help = "", then it has the special meaning "undocumented"

val arg_name : string

A standard name for the argument which may be used in the description. If empty, a generic arg_name is generated.