Examples of ExplicitOperationDefinition


Examples of org.overturetool.vdmj.definitions.ExplicitOperationDefinition

                }
              }
              else
              if(def instanceof ExplicitOperationDefinition)
              {
                ExplicitOperationDefinition op = (ExplicitOperationDefinition) def;
                values.add(def.getName());
               
                save(props, node.getName() + "."
                    + def.getName(), "_operation"+ "," + (op.accessSpecifier.isAsync  ? "async" : "sync") );
              }
View Full Code Here
TOP
Copyright © 2018 www.massapi.com. 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.