#21 ✓resolved
Douglas Creager

datatype statements

Reported by Douglas Creager | March 2nd, 2009 @ 06:26 PM | in 1.0-α4

We need to add support for datatype statements to the CSPM library. Examples from the FDR manual:

datatype T = A.{0..3} | B.Set({0,1}) | C
-- A.0, B.{0}, B.{0,1}, C are all in T

datatype SimpleColour = Red | Green | Blue

Gun = {0..15}
datatype ComplexColour = RGB.Gun.Gun.Gun | Grey.Gun | Black | White

Comments and changes to this ticket

  • Douglas Creager

    Douglas Creager March 3rd, 2009 @ 10:22 PM

    • State changed from “new” to “open”
    • Milestone set to “1.0-α4”
  • Douglas Creager

    Douglas Creager March 4th, 2009 @ 12:04 AM

    (from [89f4f7bd2000767025f65ac4aa62769d871a7e8f]) Simple datatypes

    This patch introduces support for “simple” datatype statements — i.e., those whose constructors do not take any data values. So, in the following:

    datatype SimpleColour = Red | Green | Blue datatype T = A.{0..3} | B.{4..7}

    SimpleColour is a simple datatype, whereas T is not.

    The SimpleColour definition creates four bindings: Red, Green, and Blue all resolve to a new “constructor value”, which just records which of the data constructors was used to create a particular value. SimpleColour resolves to a set containing all three constructor values.

    Lighthouse: [#21] http://github.com/hst/hst/commit...

  • Douglas Creager

    Douglas Creager March 4th, 2009 @ 12:04 AM

    • State changed from “open” to “resolved”

    (from [efa9cd5893cf6fded4995ce7354c323c11e41672]) Complex datatypes

    This patch introduces support for “complex” datatype statements — i.e., those with data values. This includes test cases for most of the examples in section A.3.3 of the FDR manual.

    Lighthouse: [#21 state:resolved] http://github.com/hst/hst/commit...

  • Douglas Creager

    Douglas Creager March 4th, 2009 @ 12:04 AM

    (from [efa9cd5893cf6fded4995ce7354c323c11e41672]) Complex datatypes

    This patch introduces support for “complex” datatype statements — i.e., those with data values. This includes test cases for most of the examples in section A.3.3 of the FDR manual.

    Lighthouse: [#21 state:resolved] http://github.com/hst/hst/commit...

Please Sign in or create a free account to add a new ticket.

With your very own profile, you can contribute to projects, track your activity, watch tickets, receive and update tickets through your email and much more.

New-ticket Create new ticket

Create your profile

Help contribute to this project by taking a few moments to create your personal profile. Create your profile »

An open-source refinement checker for the CSP process algebra.

People watching this ticket

Tags

Referenced by

Pages