Closed desaikd closed 3 months ago
This PR works on adding support for writing SExpression in code generation.
AbstractDataType::Sequence
element_type()
sequence_type()
AbstractDataType
verify_abstract_data_type_consistency
verify_and_update_abstract_data_type
type
element
JavaLanguage
RustLanguage
target_type
List
SExp
wrapper_class
ArrayList
SerdeResult
SerdeReuslt
Modifies roundtrip tests for given ISL files and input Ion values to verify SExpression support.
By submitting this pull request, I confirm that my contribution is made under the terms of the Apache 2.0 license.
Issue #105:
Description of changes:
This PR works on adding support for writing SExpression in code generation.
Generates Code:
List of changes:
AbstractDataType::Sequence
to store sequence type (sexp or list) and element typeelement_type()
andsequence_type()
methods onAbstractDataType
to get element type and sequence type detailsverify_abstract_data_type_consistency
toverify_and_update_abstract_data_type
verify_and_update_abstract_data_type
modified to check for special cases whentype
andelement
cosntraints occur togetherJavaLanguage
andRustLanguage
updatedtarget_type
to return generic type forList
andSExp
wrapper_class
inJavaLanguage
to be sued withinArrayList
SerdeResult
in RustSerdeResult
SerdeReuslt
in output moduleTests
Modifies roundtrip tests for given ISL files and input Ion values to verify SExpression support.
By submitting this pull request, I confirm that my contribution is made under the terms of the Apache 2.0 license.