Overview Schemas Index

SET_THEORY_SCHEMA (jsdai.SSet_theory_schema)

ENTITY power_set;
          id : identifier;
          name : label;
          description : OPTIONAL text;
          base : class;
          derived : class;
WHERE
          derived_different: NOT identical_sets(base, derived);
END_ENTITY; -- power_set

Entity data types and their attributes

power_set
          id: identifier;
          name: label;
          (OPT) description: text;
          base: class;
          derived: class;

Users

power_set

Global rules for this entity data type

          -

public interface EPower_set extends EEntity

id (explicit attribute)

          boolean testId(EPower_set type)
          String getId(EPower_set type)
          void setId(EPower_set type, String value)
          void unsetId(EPower_set type)

name (explicit attribute)

          boolean testName(EPower_set type)
          String getName(EPower_set type)
          void setName(EPower_set type, String value)
          void unsetName(EPower_set type)

description (explicit attribute)

          boolean testDescription(EPower_set type)
          String getDescription(EPower_set type)
          void setDescription(EPower_set type, String value)
          void unsetDescription(EPower_set type)

base (explicit attribute)

          boolean testBase(EPower_set type)
          EClass getBase(EPower_set type)
          void setBase(EPower_set type, EClass value)
          void unsetBase(EPower_set type)

derived (explicit attribute)

          boolean testDerived(EPower_set type)
          EClass getDerived(EPower_set type)
          void setDerived(EPower_set type, EClass value)
          void unsetDerived(EPower_set type)

public class CPower_set implements EPower_set

          static EAttribute attributeId(EPower_set type)
          static EAttribute attributeName(EPower_set type)
          static EAttribute attributeDescription(EPower_set type)
          static EAttribute attributeBase(EPower_set type)
          static int usedinBase(EPower_set type, EClass instance, ASdaiModel domain, APower_set result)
          static EAttribute attributeDerived(EPower_set type)
          static int usedinDerived(EPower_set type, EClass instance, ASdaiModel domain, APower_set result)

public class APower_set extends AEntity

          public EPower_set getByIndex(int index)
          public EPower_set getCurrentMember(SdaiIterator it)