--- title: eCos CDL model sample ... The model comes from the [ASE paper](http://gsd.uwaterloo.ca/node/251) ```clafer MISC_FILESYSTEMS ? display -> string = "Miscellaneous filesystems" CYGPKG_FS_JFFS2 ? display -> string = "Journalling Flash File System" [CYGPKG_CRC] [MTD] CYGOPT_FS_JFFS2_DEBUG -> int [this = 0] // default display -> string = "Debug level" [0 <= this && this <= 2] description -> string = "Debug verbosity of...." CYGOPT_FS_JFFS2_NAND ? [CYGOPT_FS_JFFS2_NAND <=> HAS_IOMEM] [CYGOPT_FS_JFFS2_COMPRESS] // default CYGOPT_FS_JFFS2_COMPRESS ? display -> string = "Compress data" [CYGOPT_FS_JFFS2_COMPRESS_ZLIB ] // default CYGOPT_FS_JFFS2_COMPRESS_ZLIB ? display -> string = "Compress data using zlib" [CYGPKG_COMPRESS_ZLIB] CYGOPT_FS_JFFS2_COMPRESS_CMODE -> string [this = "PRIORITY"] // default display -> string = "Set the default compression mode" [this = "NONE" || this = "PRIORITY" || this = "SIZE"] ``` Below are dummy clafer names used in the model above. ```clafer CYGPKG_CRC MTD CYGPKG_COMPRESS_ZLIB HAS_IOMEM ```