MPS Date Extension

14 views
Skip to first unread message

Eman Negm

unread,
Jan 24, 2020, 2:25:36 PM1/24/20
to mbeddr-...@googlegroups.com
Hi, 

  First, I want to thank this group for the help I got to start my work with MPS. Your answers to my questions were very helpful.

Second, I want to ask about Datetime type for a concept property. I couldn't find the date extension for MPS base language?


Eugen Schindler

unread,
Jan 25, 2020, 3:26:30 AM1/25/20
to mbeddr-...@googlegroups.com
Hi Emam,

There is no built-in date-time type for properties. If you want that, you have to either make your own with concepts and then use it as a child, or you could use the prebuilt types from KernelF. But again, it's only possible as type, not as property.
If you are ok with very basic regular expression checking, you could also consider making a constrained datatype and specify a regular expression in it that will make the property at least comply to a certain format like 20200125.

Greetings, 
Eugen

Sent from a magical device living in my pocket. Please excuse typos and brevity.

--
You received this message because you are subscribed to the Google Groups "mbeddr-discuss" group.
To unsubscribe from this group and stop receiving emails from it, send an email to mbeddr-discus...@googlegroups.com.
To view this discussion on the web visit https://groups.google.com/d/msgid/mbeddr-discuss/CAKd81f-ZFZiAAK%3DRtc2%3D3ZhUr%2BhVhbr1PA%2BJvckVraGXb9hhfQ%40mail.gmail.com.
Reply all
Reply to author
Forward
0 new messages