#356

This is a quick fix. It simply solves the compilation error.

Author: usr3-1415

FrontEndAst/DAst.fs

@@ -149,7 +149,7 @@ let addFunctionCallToState (state:State) (caller:Caller) (callee:Callee) =
 
 type IntegerValue         = BigInteger
 type RealValue            = double
-type StringValue          = (SingleStringValue list*SrcLoc)
+type StringValue          = (SingleStringValue list*SrcLoc)         //see details-docs/asn1/IA5String-values.md for details about the representation of string values
 type BooleanValue         = bool
 type BitStringValue       = string
 type OctetStringValue     = list<byte>

StgC/variables_c.stg

@@ -31,7 +31,7 @@ PrintHT() ::= <<
 >>
 
 
-PrintStringValueNull()	::= "NULL"
+PrintStringValueNull()	::= <<"\0">>
 
 PrintCharValue(cValue)    ::= "'<cValue>'"
 

asn1scc/Program.fs

@@ -124,7 +124,7 @@ let printVersion () =
     //let fvi = System.Diagnostics.FileVersionInfo.GetVersionInfo(assembly.Location);
     //let version = fvi.FileVersion;
 
-    let version = "4.6.0.14"
+    let version = "4.6.0.15"
     printfn "asn1scc version %s\n" version
     ()
 

details-docs/asn1/IA5String-values.md

@@ -0,0 +1,44 @@
+Ο τύπος **`IA5String`** (International Alphabet number 5) είναι ένας από τους βασικούς τύπους συμβολοσειρών χαρακτήρων (character string types) του ASN.1. Γενικά, είναι ισοδύναμος με το αλφάβητο ASCII.
+
+Η ανάθεση μιας αφηρημένης τιμής (abstract value) σε έναν τύπο στο ASN.1, συμπεριλαμβανομένου του `IA5String`, ακολουθεί έναν γενικό κανόνα:
+
+1.  Το όνομα αναφοράς της τιμής πρέπει να ξεκινά με πεζό γράμμα (π.χ., `valuereference`).
+2.  Ακολουθεί ο τύπος στον οποίο ανήκει η τιμή (πρέπει να ξεκινά με κεφαλαίο γράμμα, π.χ., `IA5String`).
+3.  Χρησιμοποιείται το σύμβολο ανάθεσης **`::=`**.
+4.  Ακολουθεί η ίδια η τιμή (`Value`).
+
+**Σημείωση:** Οι αφηρημένες τιμές που ορίζονται σε μια ASN.1 ενότητα **δεν κωδικοποιούνται ποτέ** για μετάδοση, αλλά χρησιμοποιούνται για τη βελτίωση της αναγνωσιμότητας σε περιορισμούς υποτύπων ή για τον καθορισμό προεπιλεγμένων τιμών.
+
+### Σύνταξη Τιμής IA5String
+
+Οι συμβολοσειρές χαρακτήρων (character strings) στο ASN.1, όπως ο `IA5String`, ορίζονται συνήθως μέσα σε διπλά εισαγωγικά (`"`).
+
+**1. Βασική Ανάθεση Συμβολοσειράς:**
+
+Μια βασική ανάθεση τιμής για τον τύπο `IA5String` μπορεί να μοιάζει με:
+
+```asn1
+string IA5String ::= "string including ""double quotes""" 
+-- αντιπροσωπεύει <<string including "double quotes">>
+```
+Αν η συμβολοσειρά περιλαμβάνει διπλό εισαγωγικό, αυτό πρέπει να διπλασιαστεί μέσα στην τιμή.
+
+**2. Ανάθεση με μη Γραφικούς Χαρακτήρες:**
+
+Για τον τύπο `IA5String`, υπάρχει μια ειδική σύνταξη που επιτρέπει την αναφορά σε μη γραφικούς χαρακτήρες (control characters), χρησιμοποιώντας αγκύλες `{}` σε μορφή λίστας (`CharacterStringList`):
+
+*   Αυτή η σύνταξη επιτρέπει την ανάμειξη (συνένωση) συμβολοσειρών σε διπλά εισαγωγικά και αναφορών σε χαρακτήρες.
+*   Οι μη γραφικοί χαρακτήρες μπορούν να αναφέρονται είτε με καθορισμένες τιμές (που εισάγονται από την τυποποιημένη ενότητα **`ASN1-CHARACTER-MODULE`**) είτε μέσω της παραγωγής **`Tuple`**.
+*   Η παραγωγή `Tuple` χρησιμοποιείται μόνο για τον τύπο `IA5String` και ορίζει χαρακτήρες με βάση τη θέση τους στη στήλη και τη σειρά (π.χ., `{TableColumn, TableRow}`).
+
+**Παράδειγμα** με χρήση εισαγόμενης αναφοράς χαρακτήρα:
+```asn1
+ExampleIA5String DEFINITIONS ::=
+BEGIN
+IMPORTS cr FROM ASN1-CHARACTER-MODULE {joint-iso-itu-t
+asn1(1) specification(0) modules(0) iso10646(0)} ;
+two-lines IA5String ::= { "First line", cr,
+"Second line" }
+END
+```
+Στο παραπάνω παράδειγμα, η τιμή `two-lines` περιέχει τον χαρακτήρα αλλαγής γραμμής (CR).