Support parent of nested abstract clafers #30

mantkiew opened this Issue Sep 5, 2016 · 1 comment


None yet

2 participants

mantkiew commented Sep 5, 2016

The following model causes an error org.clafer.ast.analysis.TypeException: Cannot join abstract c0_Port . parent:

abstract Component
    abstract Port
    allPorts -> Port *
    // query for all nested ports explicitly
    [ all p : Component.Port | p.parent=this <=> p in this.allPorts ]   // p.parent causes the error

WinController : Component
    cmd : Port
    powerOut : Port

where, in fact, Port has a parent because it is nested under Component.

@mantkiew mantkiew added this to the 0.4.4 milestone Sep 5, 2016
@mantkiew mantkiew added a commit that referenced this issue Sep 5, 2016
@mantkiew mantkiew test case for isssue #30 16be5a0


@mantkiew mantkiew referenced this issue Sep 19, 2016

Release 0.4.4 #27

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment