Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

syntax role modifiers #1835

Draft
wants to merge 53 commits into
base: main
Choose a base branch
from
Draft

syntax role modifiers #1835

wants to merge 53 commits into from

Commits on Jul 7, 2023

  1. added syntax role modifier syntax

    @jurgenvinju
    jurgenvinju committed Jul 7, 2023
    Configuration menu
    Copy the full SHA
    0c59e7b View commit details
    Browse the repository at this point in the history

  2. regenerated parser with new syntax role modifier syntax

    @jurgenvinju
    jurgenvinju committed Jul 7, 2023
    Configuration menu
    Copy the full SHA
    f82db38 View commit details
    Browse the repository at this point in the history

Commits on Sep 26, 2023

  1. Merge branch 'main' into syntax-role-modifiers

    @jurgenvinju
    jurgenvinju committed Sep 26, 2023
    Configuration menu
    Copy the full SHA
    a3abc9b View commit details
    Browse the repository at this point in the history

  2. regenerated parser and AST hierarchy to include SyntaxRoleModifiers i… 

    …n type symbols
    @jurgenvinju
    jurgenvinju committed Sep 26, 2023
    Configuration menu
    Copy the full SHA
    79804b4 View commit details
    Browse the repository at this point in the history

Commits on Sep 28, 2023

  1. working on syntax roles

    @jurgenvinju
    jurgenvinju committed Sep 28, 2023
    Configuration menu
    Copy the full SHA
    06f10c5 View commit details
    Browse the repository at this point in the history

Commits on Nov 8, 2023

  1. Merge branch 'main' into syntax-role-modifiers

    @jurgenvinju
    jurgenvinju committed Nov 8, 2023
    Configuration menu
    Copy the full SHA
    b809bef View commit details
    Browse the repository at this point in the history

Commits on Nov 16, 2023

  1. Merge branch 'main' into syntax-role-modifiers

    @jurgenvinju
    jurgenvinju committed Nov 16, 2023
    Configuration menu
    Copy the full SHA
    23ebd62 View commit details
    Browse the repository at this point in the history

  2. added Symbol-level syntax and semantics of syntax role modifiers

    @jurgenvinju
    jurgenvinju committed Nov 16, 2023
    Configuration menu
    Copy the full SHA
    647d636 View commit details
    Browse the repository at this point in the history

  3. added bootstrap declarations for Symbols that represent syntax role m… 

    …odifiers
    @jurgenvinju
    jurgenvinju committed Nov 16, 2023
    Configuration menu
    Copy the full SHA
    e889835 View commit details
    Browse the repository at this point in the history

  4. implemented isOpen and IsParametrized for syntax types

    @jurgenvinju
    jurgenvinju committed Nov 16, 2023
    Configuration menu
    Copy the full SHA
    36587c9 View commit details
    Browse the repository at this point in the history

  5. fixed copy and paste bug

    @jurgenvinju
    jurgenvinju committed Nov 16, 2023
    Configuration menu
    Copy the full SHA
    f9c7869 View commit details
    Browse the repository at this point in the history

  6. partially implemented java-level syntax and semantics of syntax role … 

    …modifiers
    @jurgenvinju
    jurgenvinju committed Nov 16, 2023
    Configuration menu
    Copy the full SHA
    5fb57c8 View commit details
    Browse the repository at this point in the history

  7. implementing all the Type operations on Syntax modifiers

    @jurgenvinju
    jurgenvinju committed Nov 16, 2023
    Configuration menu
    Copy the full SHA
    1e7e1d0 View commit details
    Browse the repository at this point in the history

  8. implemented lub on syntax modifiers

    @jurgenvinju
    jurgenvinju committed Nov 16, 2023
    Configuration menu
    Copy the full SHA
    49cb9c0 View commit details
    Browse the repository at this point in the history

  9. implemented Type.glbWithModifySyntax and added subtype cases to Type … 

    …and ParseTree
    @jurgenvinju
    jurgenvinju committed Nov 16, 2023
    Configuration menu
    Copy the full SHA
    17de9ab View commit details
    Browse the repository at this point in the history

  10. fixed compiler error and removed unused imports

    @jurgenvinju
    jurgenvinju committed Nov 16, 2023
    Configuration menu
    Copy the full SHA
    acea788 View commit details
    Browse the repository at this point in the history

Commits on Nov 17, 2023

  1. added match and instantiate for SyntaxRole modifier types, and remove… 

    …d dead commented code
    @jurgenvinju
    jurgenvinju committed Nov 17, 2023
    Configuration menu
    Copy the full SHA
    366d3cc View commit details
    Browse the repository at this point in the history

  2. added assert

    @jurgenvinju
    jurgenvinju committed Nov 17, 2023
    Configuration menu
    Copy the full SHA
    e3b4411 View commit details
    Browse the repository at this point in the history

Commits on Nov 21, 2023

  1. match data[&T] against Tree if &T is a non-terminal

    @jurgenvinju
    jurgenvinju committed Nov 21, 2023
    Configuration menu
    Copy the full SHA
    7d60d3e View commit details
    Browse the repository at this point in the history

  2. fixing corner cases

    @jurgenvinju
    jurgenvinju committed Nov 21, 2023
    Configuration menu
    Copy the full SHA
    123a3f5 View commit details
    Browse the repository at this point in the history

Commits on Nov 22, 2023

  1. fixed subtle bug in applying syntax role

    @jurgenvinju
    jurgenvinju committed Nov 22, 2023
    Configuration menu
    Copy the full SHA
    a1d5b0b View commit details
    Browse the repository at this point in the history

  2. added some initial tests for syntax modifiers

    @jurgenvinju
    jurgenvinju committed Nov 22, 2023
    Configuration menu
    Copy the full SHA
    2cdfcdc View commit details
    Browse the repository at this point in the history

  3. added a failing test for data[&T] matching against parse tree

    @jurgenvinju
    jurgenvinju committed Nov 22, 2023
    Configuration menu
    Copy the full SHA
    a0c597c View commit details
    Browse the repository at this point in the history

  4. typo

    @jurgenvinju
    jurgenvinju committed Nov 22, 2023
    Configuration menu
    Copy the full SHA
    3a08bd7 View commit details
    Browse the repository at this point in the history

Commits on Nov 23, 2023

  1. fixed hashcode/equals contract for syntax role modifier types; helps … 

    …fixing issues with isSubtypeOf
    @jurgenvinju
    jurgenvinju committed Nov 23, 2023
    Configuration menu
    Copy the full SHA
    16a6498 View commit details
    Browse the repository at this point in the history

  2. added test for upcasting data[&T] to data[Tree] when it matches a non… 

    …-terminal
    @jurgenvinju
    jurgenvinju committed Nov 23, 2023
    Configuration menu
    Copy the full SHA
    53c750e View commit details
    Browse the repository at this point in the history

  3. started writing the explode function

    @jurgenvinju
    jurgenvinju committed Nov 23, 2023
    Configuration menu
    Copy the full SHA
    a4937e8 View commit details
    Browse the repository at this point in the history

Commits on Nov 27, 2023

  1. slowly working on explode

    @jurgenvinju
    jurgenvinju committed Nov 27, 2023
    Configuration menu
    Copy the full SHA
    5ed339c View commit details
    Browse the repository at this point in the history

Commits on Nov 29, 2023

  1. Merge branch 'main' into syntax-role-modifiers

    @jurgenvinju
    jurgenvinju committed Nov 29, 2023
    Configuration menu
    Copy the full SHA
    4cd9e61 View commit details
    Browse the repository at this point in the history

  2. some work on explode

    @jurgenvinju
    jurgenvinju committed Nov 29, 2023
    Configuration menu
    Copy the full SHA
    ab24736 View commit details
    Browse the repository at this point in the history

  3. added support for identifiers

    @jurgenvinju
    jurgenvinju committed Nov 29, 2023
    Configuration menu
    Copy the full SHA
    d1d5f45 View commit details
    Browse the repository at this point in the history

Commits on Nov 30, 2023

  1. Merge branch 'main' into syntax-role-modifiers

    @jurgenvinju
    jurgenvinju committed Nov 30, 2023
    Configuration menu
    Copy the full SHA
    1cf79a1 View commit details
    Browse the repository at this point in the history

  2. fixed errors

    @jurgenvinju
    jurgenvinju committed Nov 30, 2023
    Configuration menu
    Copy the full SHA
    61a9d63 View commit details
    Browse the repository at this point in the history

  3. added function getConstructor that reifies an actual ConstructorType … 

    …to a Production representation
    @jurgenvinju
    jurgenvinju committed Nov 30, 2023
    Configuration menu
    Copy the full SHA
    c34ec59 View commit details
    Browse the repository at this point in the history

Commits on Dec 1, 2023

  1. explode can deal with lists now

    @jurgenvinju
    jurgenvinju committed Dec 1, 2023
    Configuration menu
    Copy the full SHA
    307ac0e View commit details
    Browse the repository at this point in the history

Commits on Dec 14, 2023

  1. working on explode

    @jurgenvinju
    jurgenvinju committed Dec 14, 2023
    Configuration menu
    Copy the full SHA
    ed9e15e View commit details
    Browse the repository at this point in the history

  2. added Explode to ignore because it contains features the type-checker… 

    … does not know about yet
    @jurgenvinju
    jurgenvinju committed Dec 14, 2023
    Configuration menu
    Copy the full SHA
    6c25da4 View commit details
    Browse the repository at this point in the history

Commits on Dec 28, 2023

  1. Merge branch 'main' into syntax-role-modifiers

    @jurgenvinju
    jurgenvinju committed Dec 28, 2023
    Configuration menu
    Copy the full SHA
    d27cbb6 View commit details
    Browse the repository at this point in the history

Commits on Feb 7, 2024

  1. Merge branch 'main' into syntax-role-modifiers

    @jurgenvinju
    jurgenvinju committed Feb 7, 2024
    Configuration menu
    Copy the full SHA
    34cc097 View commit details
    Browse the repository at this point in the history

  2. turned off tutor for bootstrapping purposes

    @jurgenvinju
    jurgenvinju committed Feb 7, 2024
    Configuration menu
    Copy the full SHA
    9f30101 View commit details
    Browse the repository at this point in the history

Commits on Feb 28, 2024

  1. Merge branch 'main' into syntax-role-modifiers

    @jurgenvinju
    jurgenvinju committed Feb 28, 2024
    Configuration menu
    Copy the full SHA
    b60fe63 View commit details
    Browse the repository at this point in the history

Commits on Apr 8, 2024

  1. Merge branch 'main' into syntax-role-modifiers

    @jurgenvinju
    jurgenvinju committed Apr 8, 2024
    Configuration menu
    Copy the full SHA
    806a5a9 View commit details
    Browse the repository at this point in the history

Commits on Apr 9, 2024

  1. Merge branch 'main' into syntax-role-modifiers

    @jurgenvinju
    jurgenvinju committed Apr 9, 2024
    Configuration menu
    Copy the full SHA
    c570d35 View commit details
    Browse the repository at this point in the history

  2. added todos and a make(Production) function to mirror getConstructor … 

    …and added missing cases to \data modifier in Type

and regenerated the Rascal parser with Arnold's bugfixes
    @jurgenvinju
    jurgenvinju committed Apr 9, 2024
    Configuration menu
    Copy the full SHA
    b4e0f11 View commit details
    Browse the repository at this point in the history

Commits on Apr 11, 2024

  1. Merge branch 'main' into syntax-role-modifiers

    @jurgenvinju
    jurgenvinju committed Apr 11, 2024
    Configuration menu
    Copy the full SHA
    792029c View commit details
    Browse the repository at this point in the history

  2. fixed bug in constructor de-reifier and fixed make function in Type.rsc

    @jurgenvinju
    jurgenvinju committed Apr 11, 2024
    Configuration menu
    Copy the full SHA
    ec783dc View commit details
    Browse the repository at this point in the history

  3. ported release notes from website. still incomplete

    @jurgenvinju
    jurgenvinju committed Apr 11, 2024
    Configuration menu
    Copy the full SHA
    c4cc92c View commit details
    Browse the repository at this point in the history

  4. simplified make

    @jurgenvinju
    jurgenvinju committed Apr 11, 2024
    Configuration menu
    Copy the full SHA
    2bf3890 View commit details
    Browse the repository at this point in the history

  5. re-enabled tutor

    @jurgenvinju
    jurgenvinju committed Apr 11, 2024
    Configuration menu
    Copy the full SHA
    2e6ff60 View commit details
    Browse the repository at this point in the history

  6. further simplifications

    @jurgenvinju
    jurgenvinju committed Apr 11, 2024
    Configuration menu
    Copy the full SHA
    3d3efac View commit details
    Browse the repository at this point in the history

  7. fixed typo

    @jurgenvinju
    jurgenvinju committed Apr 11, 2024
    Configuration menu
    Copy the full SHA
    1157780 View commit details
    Browse the repository at this point in the history

Commits on May 14, 2024

  1. Merge branch 'main' into syntax-role-modifiers

    @jurgenvinju
    jurgenvinju committed May 14, 2024
    Configuration menu
    Copy the full SHA
    21de372 View commit details
    Browse the repository at this point in the history

  2. added more documentation and a missing function

    @jurgenvinju
    jurgenvinju committed May 14, 2024
    Configuration menu
    Copy the full SHA
    d6ed722 View commit details
    Browse the repository at this point in the history