aboutsummaryrefslogtreecommitdiffstats
path: root/android
diff options
context:
space:
mode:
authorDavid 'Digit' Turner <digit@google.com>2009-12-07 17:24:34 -0800
committerAndroid Git Automerger <android-git-automerger@android.com>2009-12-07 17:24:34 -0800
commite3c94626074fd1331d1821fed5db043f6da02d2a (patch)
treec675893142ca89a200bac9ac27545eb835a84be7 /android
parent71e736ef90ef644130201742980b275fcca259a5 (diff)
parent39fd8497a66aa9f78a18c8684181128361612c6f (diff)
downloadexternal_qemu-e3c94626074fd1331d1821fed5db043f6da02d2a.zip
external_qemu-e3c94626074fd1331d1821fed5db043f6da02d2a.tar.gz
external_qemu-e3c94626074fd1331d1821fed5db043f6da02d2a.tar.bz2
am 39fd8497: Add two documentation files describing the format of config and skin files.
Merge commit '39fd8497a66aa9f78a18c8684181128361612c6f' into eclair-mr2 * commit '39fd8497a66aa9f78a18c8684181128361612c6f': Add two documentation files describing the format of config and skin files.
Diffstat (limited to 'android')
-rw-r--r--android/utils/ini.h32
1 files changed, 1 insertions, 31 deletions
diff --git a/android/utils/ini.h b/android/utils/ini.h
index a176bfe..83d2027 100644
--- a/android/utils/ini.h
+++ b/android/utils/ini.h
@@ -15,37 +15,7 @@
#include <stdint.h>
/* the emulator supports a simple .ini file format for its configuration
- * files. Here's the BNF for it:
- *
- * file := <line>*
- * line := <comment> | <LF> | <assignment>
- * comment := (';'|'#') <noLF>* <LF>
- * assignment := <space>* <keyName> <space>* '=' <space>* <valueString> <space>* <LF>
- * keyName := <keyNameStartChar> <keyNameChar>*
- * keyNameStartChar := [A-Za-z_]
- * keyNameChar := [A-Za-z0-9_.-]
- * valueString := <noLF>*
- * space := ' ' | '\t'
- * LF := '\r\n' | '\n' | '\r'
- * noLF := [^<LF>]
- *
- * Or, in English:
- *
- * - no support for sections
- * - empty lines are ignored, as well as lines beginning with ';' or '#'
- * - lines must be of the form: "<keyName> = <value>"
- * - key names must start with a letter or an underscore
- * - other key name characters can be letters, digits, underscores, dots or dashes
- *
- * - leading and trailing space are allowed and ignored before/after the key name
- * and before/after the value
- *
- * - there is no restriction on the value, except that it can't contain
- * leading/trailing space/tab characters or newline/charfeed characters
- *
- * - empty values are possible, and will be stored as an empty string.
- * - any badly formatted line is discarded (and will print a warning)
- *
+ * files. See docs/ANDROID-CONFIG-FILES.TXT for details.
*/
/* an opaque structure used to model an .ini configuration file */