Skip to content
New issue

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

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

Already on GitHub? # to your account

Check that parents exist of classes #460

Draft
wants to merge 3 commits into
base: develop
Choose a base branch
from
Draft

Commits on Jan 22, 2023

  1. Class inherits parents fields and functions (#447)

    * Classes inherit all from parent
    
    - Remove INIT token
    - in uses __contains__ magic method
    - Remove Mamba specific magic methods
    
    * Filter out parent fields in assign check
    JSAbrahams authored Jan 22, 2023
    Configuration menu
    Copy the full SHA
    423f6ce View commit details
    Browse the repository at this point in the history

Commits on Jan 28, 2023

  1. Check assigned to in if and match branches (#451)

    * Check assigned to in if and match branches
    
    * Use intersection in if branches
    JSAbrahams authored Jan 28, 2023
    Configuration menu
    Copy the full SHA
    d8e4a9b View commit details
    Browse the repository at this point in the history

Commits on Feb 4, 2023

  1. [ci skip] Add check for if parent exists

    We now run into issue that generics are undefined
    in parents.
    Therefore, we must ignore such checks with
    generics.
    JSAbrahams committed Feb 4, 2023
    Configuration menu
    Copy the full SHA
    9c2470a View commit details
    Browse the repository at this point in the history