Skip to content

Replace the methods xxx_iter of Tables with xxx_holder.#187

Merged
termoshtt merged 1 commit intomasterfrom
return-hashmap-instead-owned
Jan 13, 2022
Merged

Replace the methods xxx_iter of Tables with xxx_holder.#187
termoshtt merged 1 commit intomasterfrom
return-hashmap-instead-owned

Conversation

@ytanimura
Copy link
Contributor

Currently, there are the following problems

  • The function of the method xxx_iter defined directly in Tables and EntityTable::owned_iter is exactly the same.
  • There is no way to get the list of holders before resolution.

To solve these problems, we replaced the currently implemented xxx_iter with xxx_holders, which directly returns a reference to HashMap of Holder.

@ytanimura ytanimura marked this pull request as ready for review January 12, 2022 08:42
@termoshtt termoshtt merged commit ef72a97 into master Jan 13, 2022
@termoshtt termoshtt deleted the return-hashmap-instead-owned branch January 13, 2022 09:51
alteous pushed a commit to KittyCAD/ruststep that referenced this pull request May 22, 2023
This is a workaround to pass type information from esprc
to ruststep-derive. The purpose is to be able to populate
fields of simple types directly like this:

#1 = EDGE_CURVE('NONE', ricosjp#165, #9, ricosjp#187, .T.);
                ^^^^^^
   will be parsed with deserialize_str
alteous pushed a commit to KittyCAD/ruststep that referenced this pull request Feb 6, 2026
* Increase recursion limit

* Generate entity fields recursively

* Regenerate ap203.rs

Regenerated with:

cargo run \
    --bin esprc \
    schemas/APs/10303-203-aim-long.exp \
    | rustfmt \
    > ruststep/src/ap203.rs

* Fix warnings

* Add #[holder(from = type)] attribute

This is a workaround to pass type information from esprc
to ruststep-derive. The purpose is to be able to populate
fields of simple types directly like this:

#1 = EDGE_CURVE('NONE', ricosjp#165, #9, ricosjp#187, .T.);
                ^^^^^^
   will be parsed with deserialize_str

* Add Derived type and attribute

Adds support for derived attributes using a placeholder
type called Derived.

#1 = ORIENTED_EDGE('NONE', *, *, #2, .T.);
                           ^^^^
                these are Derived values

* Add quick fix for AXIS* type names

The type name axis2_placement_3d was being converted to
AXIS_2_PLACEMENT_3D instead of AXIS2_PLACEMENT_3D.

* Implement complex entity instantiation

Consider the following example:

ENTITY base
      a: STRING
END_ENTITY;

ENTITY extended
   SUBTYPE OF (base);
      b: STRING
END_ENTITY;

A simple instantiation of the extended entity looks like this:

#1 = EXTENDED('A', 'B')

A complex instantiation allows each subtype to be instatiated
separately like this:

#1 = (BASE('A') EXTENDED('B'))

This changes implements support for complex entity instantiation by
cherry-picking fields across all the partial entities in the list. An
complete instance of every entity in the list is then inserted into the
table. In the example above, an instance of base and an instance of
extended would be inserted into the table.

The cherry-picking process is implemented with the help of a table of
every field name for partial and complete entities.

* Extend derived dimensions workaround to conversion_based_unit

* Ignore data provided to derived attributes

* Add extra aggregate_initializer test

* Process field derivations

This is yet another hack to accept derived fields of the form:

ENTITY binary_numeric_expression
	ABSTRACT SUPERTYPE
	SUBTYPE OF (numeric_expression, binary_generic_expression);
	SELF\binary_generic_expression.operands : LIST [2:2] OF numeric_expression;
END_ENTITY;

We need this information in the IR; however, it doesn't fit neatly
within the existing code structure.

* Fix hex_digit parser

* Add binary literals to espr

* Add Binary primitive type

* Remove generated inner module

* Regenerate ap203.rs

Regenerated from slightly modified version of the official schema,
version 1.43.

Increased recursion limit to 512 to cope with documentation generation
from the top-level directory.

* Add ToData trait and proc_macro

* Output literals for type declarations

* End each line with a semicolon

* Implement partial/complex entity export

The implementation required a couple of new features:

1. ToData::to_partial function

This allows the generator to choose between serializing partial and
standard entities. The following entities are equivalent:

 Standard: PLANE('X', #1)
 Partial: (ELEMENTARY_SURFACE('X', #1) PLANE())

2. #[holder(supertype = "type_name")] attribute

This is used by the automatically derived implementation of to_partial
to select which fields should be serialized. Partial entity fields are
serialized if they are not already defined by an existing supertype
field.

* Add ability to insert into generated tables

The `Insert` trait is used to insert a holder type into a table.
Extra `Insert` implementations are provided for tuples for the
convenience of inserting complex/partial entity instances. This is
limited to five partial entity insertions for now but can be increased
easily by adding more implementations in the ruststep-derive crate.

The user must ensure when inserting into tables that no value is
already associated with a given ID or else panic ensues.

* Fix test build

* Fix parsing of empty lists

* Fix build for older compilers

* Fix unused variable warning

* Forward visitors of renamed types

* Fix ordering of partial entities

BOUNDED_SURFACE needs to come before B_SPLINE_SURFACE.
The '_' character is between the lowercase and uppercase
sets, so sorting naively will produce different orderings.

* Increase max partial entity insertion to 8

* Pretty print complex entities

Adds new lines between each partial entity.

---------

Co-authored-by: David Harvey-Macaulay <david@harvey-macaulay.com>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants