Overview  Index  Help 
SMLDoc

CM_SEMANTIC

All Known Implementing Modules:

CMSemantic


signature CM_SEMANTIC =
sig
  type addsym
  type mulsym
  type eqsym
  type ineqsym
  datatype pathName = StandardPathName of string | NativePathName of string
  datatype description =
           Group of (pathName * string optionlist | Alias of pathName
  val PLUS : addsym
  val MINUS : addsym
  val TIMES : mulsym
  val DIV : mulsym
  val MOD : mulsym
  val EQ : eqsym
  val NE : eqsym
  val GT : ineqsym
  val GE : ineqsym
  val LT : ineqsym
  val LE : ineqsym
end

semantic actions to go with the grammar for CM description files

Author:
(C) 1999 Lucent Technologies, Bell Laboratories , Matthias Blume (blume@kurims.kyoto-u.ac.jp)
Version:
$Id: SigCM_SEMANTIC.html,v 1.9 2007/02/17 07:01:57 kiyoshiy Exp $

 
Type detail

addsym

type addsym


mulsym

type mulsym


eqsym

type eqsym


ineqsym

type ineqsym

 
Datatype detail

pathName

datatype pathName = StandardPathName of string | NativePathName of string


description

datatype description =
         Group of (pathName * string optionlist | Alias of pathName

 
DataConstructor detail

StandardPathName

constructor StandardPathName : string -> pathName


NativePathName

constructor NativePathName : string -> pathName


Group

constructor Group : (pathName * string optionlist -> description


Alias

constructor Alias : pathName -> description

 
Value detail

PLUS

val PLUS : addsym


MINUS

val MINUS : addsym


TIMES

val TIMES : mulsym


DIV

val DIV : mulsym


MOD

val MOD : mulsym


EQ

val EQ : eqsym


NE

val NE : eqsym


GT

val GT : ineqsym


GE

val GE : ineqsym


LT

val LT : ineqsym


LE

val LE : ineqsym

 


Overview  Index  Help 
SMLDoc: Documentation generator for SML