Skip to content

Commit

Permalink
Outline how we will move away from EndpointName, and instead reuse Co…
Browse files Browse the repository at this point in the history
…mmunicateTarget within Expr for consistency
  • Loading branch information
bobismijnnaam committed Nov 26, 2024
1 parent c9a4acb commit a7ce7d0
Showing 1 changed file with 13 additions and 11 deletions.
24 changes: 13 additions & 11 deletions src/col/vct/col/ast/Node.scala
Original file line number Diff line number Diff line change
Expand Up @@ -3944,17 +3944,19 @@ case class CommTargetIndex[G](ref: Ref[G, Endpoint[G]], index: Expr[G])(
implicit val o: Origin
) extends CommunicateTarget[G] with CommTargetIndexImpl[G]

final case class EndpointName[G](ref: Ref[G, Endpoint[G]])(
implicit val o: Origin
) extends Expr[G] with EndpointNameImpl[G]
final case class EndpointRange[G](
name: Ref[G, Endpoint[G]],
range: RangeBinder[G],
)(implicit val o: Origin)
extends Expr[G] with EndpointRangeImpl[G]
final case class EndpointIndex[G](name: Ref[G, Endpoint[G]], index: Expr[G])(
implicit val o: Origin
) extends Expr[G] with EndpointIndexImpl[G]
final case class CtExpr[G](inner: CommunicateTarget[G])
extends Expr[G] with CtExprImpl[G]
//final case class EndpointName[G](ref: Ref[G, Endpoint[G]])(
// implicit val o: Origin
//) extends Expr[G] with EndpointNameImpl[G]
//final case class EndpointRange[G](
// name: Ref[G, Endpoint[G]],
// range: RangeBinder[G],
//)(implicit val o: Origin)
// extends Expr[G] with EndpointRangeImpl[G]
//final case class EndpointIndex[G](name: Ref[G, Endpoint[G]], index: Expr[G])(
// implicit val o: Origin
//) extends Expr[G] with EndpointIndexImpl[G]
final case class Sender[G](ref: Ref[G, Communicate[G]])(implicit val o: Origin)
extends Expr[G] with SenderImpl[G]
final case class Receiver[G](ref: Ref[G, Communicate[G]])(
Expand Down

0 comments on commit a7ce7d0

Please sign in to comment.