Alexander Senier
Alexander Senier
- GNAT Community 2019 is not supported anymore - remove workarounds for only this version
Applications that receive messages from a stream have to be able to determine whether a message is complete or if more input bytes are required to decide on its validity....
RFC message formats often have a definition of reserved fields such that should be forced to a particular values (zero, most of the time), but on reception any value should...
Background ========== Goals: - Replace PyRFLX - From a RecordFlux specification - Parse messages easily - Generate messages - Run sessions - Pythonic / natural implementation - Strict checking of...
The following specification is rejected: ```Ada package Seq_In_Ref is type Byte is mod 2 ** 8; type M1 is message Length : Byte; Data : Opaque with Size => 8...
The following specification ```Ada package Test is type T is mod 2 ** 8; type Msg is message F1 : T then F2 if True; F2 : T; end message;...
The following message is currently considered valid: ```Ada type M is message null then F if Message'Length < 20; F : Boolean; end message; ``` I don't see any useful...
The following spec fails only due to `f2` being lower case: ```Ada package Casing is type T is mod 2 ** 32; type M is message F1 : T --...
When using a type which has the same name as the containing package as a session variable, the resulting code does not compile: ```Ada package Conflict is type Conflict is...