Service MetaJolieJavaService

from metajolie import MetaJolieJavaService

List of Available Interfaces

MetaJolieJavaServiceInterface

Types

void {
  min[1,1]: int // 
  max[0,1]: int // 
  infinite[0,1]: int // 
}

void {
  type_name[1,1]: string //  the type name to check it is native
}

void {
  result[1,1]: bool // 
}

void {
  input_operation[1,1]: void {
    name[1,1]: string // name of the operation
    type[1,1]: string // RequestResponse or OneWay
  } // 
  dependencies[0,1]: void {
    port[0,1]: string //  defined only if type is Notification or SolicitResponse
    name[1,1]: string //  name of the operation
    type[1,1]: string // RequestResponse, OneWay, SolicitResponse or Notification
  } // 
}

void {
  ranges[1,1]: RangeDouble // 
}

void {
  name[1,1]: string // 
  type[1,1]: NativeType
|TypeUndefined
|TypeLink

 // 
}

void {
  input[0,1]: Port //  the full description of each input port of the service definition
}

void {
  filename[1,1]: string //  the filename where the service definition is
}

void {
  output[0,1]: Port //  the definitions of all the output ports
  input[0,1]: Port //  the definitions of all the input ports
  interfaces[0,1]: Interface //  the definitions of all the interfaces
  types[0,1]: TypeDefinition //  the definitions of all the types
  service[0,1]: Service //  the definition of the service
  embeddedServices[0,1]: void {
    servicepath[1,1]: string //  path where the service can be found
    type[1,1]: string //  type of the embedded service
    portId[0,1]: string //  target output port where the embedded service is bound
  } //  the definitions of all the embedded services
  communication_dependencies[0,1]: CommunicationDependency // 
}

void {
  type_name[1,1]: string // 
}

void {
  native_type[0,1]: string // 
}

void {
  output[0,1]: Port //  the full description of each output port of the service definition
}

void {
  ranges[1,1]: RangeInt // 
}

void {
  types[0,1]: TypeDefinition // 
  operations[0,1]: Operation // 
  documentation[0,1]: string // 
  name[1,1]: string // 
}

void {
  ranges[1,1]: RangeLong // 
}

void {
  types[1,1]: void {
    types[0,1]: TypeDefinition //  list of all the required types
    messageTypeName[1,1]: string //  starting type to user for casting
  } //  the types to use for casting the message
  message[1,1]: undefined //  the message to be cast
}

void {
  message[1,1]: undefined //  casted message
}

void {
  string_type[1,1]: bool {
    refined_type[0,1]: StringRefinedType // 
  } // 
}
|void {
  int_type[1,1]: bool {
    refined_type[0,1]: IntRefinedType // 
  } // 
}
|void {
  double_type[1,1]: bool {
    refined_type[0,1]: DoubleRefinedType // 
  } // 
}
|void {
  any_type[1,1]: bool // 
}
|void {
  void_type[1,1]: bool // 
}
|void {
  raw_type[1,1]: bool // 
}
|void {
  bool_type[1,1]: bool // 
}
|void {
  long_type[1,1]: bool {
    refined_type[0,1]: LongRefinedType // 
  } // 
}

NativeType

void {
  operation_name[1,1]: string // 
  output[0,1]: string // 
  input[1,1]: string // 
  documentation[0,1]: string // 
  fault[0,1]: Fault // 
}

void {
  line[1,1]: int // 
  sourceName[1,1]: string // 
  message[1,1]: string // 
}

void {
  protocol[1,1]: string // 
  interfaces[0,1]: Interface // 
  name[1,1]: string // 
  location[1,1]: any // 
}

void {
  min[1,1]: double // 
  max[0,1]: double // 
}
|void {
  min[1,1]: double // 
  infinite[1,1]: bool // 
}

void {
  min[1,1]: int // 
  max[0,1]: int // 
}
|void {
  min[1,1]: int // 
  infinite[1,1]: bool // 
}

void {
  min[1,1]: long // 
  max[0,1]: long // 
}
|void {
  min[1,1]: long // 
  infinite[1,1]: bool // 
}

void {
  error[0,1]: void {
    line[1,1]: int // 
    sourceName[1,1]: string // 
    message[1,1]: string // 
  } // 
}

void {
  output[0,1]: string // 
  input[0,1]: string // 
  name[1,1]: string // 
}

void {
  length[1,1]: RangeInt // 
}
|void {
  enum[1,1]: string // 
}
|void {
  regex[1,1]: string // 
}

void {
  documentation[0,1]: string // 
  name[1,1]: string // 
  type[1,1]: Type // 
  cardinality[1,1]: Cardinality // 
}

TypeInLine
|TypeLink
|TypeChoice
|TypeUndefined

void {
  choice[1,1]: void {
    left_type[1,1]: TypeInLine
|TypeLink
 // 
    right_type[1,1]: Type // 
  } // 
}

void {
  documentation[0,1]: string // 
  name[1,1]: string // 
  type[1,1]: Type // 
}

void {
  root_type[1,1]: NativeType // 
  sub_type[0,1]: SubType // 
}

void {
  link_name[1,1]: string // 
}

void {
  undefined[1,1]: bool // 
}