Les différents C-types du module de types acceptent chacun des valeurs bien spécifiques. En effet, pour qu'un objet soit considéré comme valide pour un C-type, voire un δ-type, donné il doit répondre à certaines règles. Les couples (C-types,Valeurs) sont donnés dans le tabeau qui suit:
Tableau 5-1. Valeurs admises pour les C-types de base
| C-Type | Type Java des Valeurs |
|---|---|
| integer | java.lang.Long |
| boolean | java.lang.Boolean |
| string | java.lang.String |
| float | java.lang.Double |
| ListCT | java.util.List |
| SetCT | java.util.Set |
| RecordCT | arom.kr.util.Record |
| Avertissement |
Pour les valeurs des C-types ListCT et SetCT, il est à noter que deux comportements sont possibles. Si l'on prend l'exemple d'une variable typée par ListCT
Ces comportement sont également vrais pour les valeurs des types SetCT. |