Package org.overturetool.vdmj.types

Examples of org.overturetool.vdmj.types.Type

389
390
391
392
393
394
395
396
397
398
399
      {
        if (def instanceof SystemDefinition)
        {
          for (Definition d : def.definitions)
          {
            Type t = d.getType();

            if (t instanceof ClassType)
            {
              ClassType ct = (ClassType) t;
              if (ct.classdef instanceof CPUClassDefinition)
View Full Code Here
273
274
275
276
277
278
279
280
281
282
283
    return sb.substring(1).trim();
  }

  private Type getVdmTypeName(IAstNode node)
  {
    Type t = null;

    if (node instanceof InstanceVariableDefinition)
    {
      t = ((InstanceVariableDefinition) node).type;
    } else if (node instanceof ValueDefinition)
View Full Code Here
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
    return UNKNOWN;
  }

  private String getTypeName(Definition def)
  {
    Type t = null;

    if (def instanceof InstanceVariableDefinition)
    {
      t = ((InstanceVariableDefinition) def).type;
    } else if (def instanceof ValueDefinition)
    {
      t = ((ValueDefinition) def).type;
    } else if (def instanceof LocalDefinition)
    {
      t = ((LocalDefinition) def).type;
    }

    String typeName = "";
    if (t instanceof OptionalType)
    {
      OptionalType opType = (OptionalType) t;
      typeName = opType.type.getName();

    }
    if (t instanceof ClassType)
    {
      typeName = t.getName();
    } else if (t instanceof OptionalType
        && ((OptionalType) t).type instanceof ClassType)
    {
      typeName = t.getName();

    } else
    {
      typeName = def.getName();
    }
View Full Code Here
119
120
121
122
123
124
125
126
127
128
129
  private List<Definition> getChildrenOf(
      InstanceVariableDefinition instance)
  {
    List<Definition> result = new Vector<Definition>();

    Type instanceType = instance.type;

    if (instanceType instanceof OptionalType)
    {
      instanceType = ((OptionalType) instanceType).type;
    }
View Full Code Here
159
160
161
162
163
164
165
166
167
168
169
    return result;
  }

  private boolean isVirtual(Definition def)
  {
    Type instanceType = def.getType();
   
    if (instanceType instanceof OptionalType)
    {
      instanceType = ((OptionalType) instanceType).type;
    }
View Full Code Here
178
179
180
181
182
183
184
185
186
187
188
   
  }
 
  private boolean isWorthAdding(Definition def)
  {
    Type instanceType = def.getType();

    if(def instanceof InstanceVariableDefinition)
    {
      if (instanceType instanceof OptionalType)
      {
View Full Code Here
TOP

Related Classes of org.overturetool.vdmj.types.Type

  • org.destecs.ide.debug.launching.ui.internal.VdmLogTreeContentProvider
  • org.destecs.ide.vdmmetadatabuilder.internal.builder.vdmmetadatabuilder.VdmMetadataBuilder
  • org.destecs.vdm.SimulationManager
    • Copyright © 2018 www.massapicom. All rights reserved.
    All source code are property of their respective owners. Java is a trademark of Sun Microsystems, Inc and owned by ORACLE Inc. Contact coftware#gmail.com.