@Override public void caseAMethodDeclIR(AMethodDeclIR node) throws AnalysisException { if(Settings.dialect == Dialect.VDM_SL) { if(!node.getIsConstructor()) { // Pre- and postconditions and invariants are private in the VDM AST -- even when they're being exported. // Therefore, we'll need to adjust their access modifiers. To keep things simple we'll just make any // method public. node.setAccess(IRConstants.PUBLIC); } } } }
public boolean inRecConstructor(INode node) { if (!inRec(node)) { return false; } AMethodDeclIR m = node.getAncestor(AMethodDeclIR.class); if (m != null) { return m.getIsConstructor(); } return false; }
private void adjustTestClass(ADefaultClassDeclIR copy) { for(AMethodDeclIR m : copy.getMethods()) { m.setStatic(false); } for(int i = 0; i < copy.getMethods().size(); i++) { AMethodDeclIR m = copy.getMethods().get(i); if(m.getIsConstructor()) { copy.getMethods().remove(i); break; } } }
private boolean isJUnitSignature(AMethodDeclIR m) { return m.getAccess().equals(IRConstants.PUBLIC) && BooleanUtils.isFalse(m.getStatic()) && BooleanUtils.isFalse(m.getIsConstructor()) && m.getFormalParams().isEmpty() && !(m.getTag() instanceof IRGeneratedTag); }
for (AMethodDeclIR m : methods) if (m.getIsConstructor() && m.getMethodType().getResult() instanceof ARecordTypeIR) return !encMethod.getIsConstructor(); } else
public void makeRecMethodsPure(List<IRStatus<PIR>> ast) { List<ARecordDeclIR> records = jmlGen.getUtil().getRecords(ast); for (ARecordDeclIR rec : records) { for (AMethodDeclIR method : rec.getMethods()) { if (!method.getIsConstructor()) { makePure(method); } } } }
@Override public void caseAMethodDeclIR(AMethodDeclIR node) throws AnalysisException { super.caseAMethodDeclIR(node); String name = node.getName(); if(node.getIsConstructor() && mustRename(name)) { node.setName(consNewName(name)); } }
private AInterfaceDeclIR convertToInterface(SClassDeclIR c) { List<AFieldDeclIR> clonedFields = new LinkedList<>(); for (AFieldDeclIR f : c.getFields()) { clonedFields.add(f.clone()); } List<AMethodDeclIR> clonedMethods = new LinkedList<>(); for (AMethodDeclIR m : c.getMethods()) { if (!m.getIsConstructor() && !(m.getTag() instanceof IRGeneratedTag)) { clonedMethods.add(m.clone()); } } AInterfaceDeclIR inter = new AInterfaceDeclIR(); inter.setFields(clonedFields); inter.setMetaData(c.getMetaData()); inter.setMethodSignatures(clonedMethods); inter.setName(c.getName()); inter.setPackage(c.getPackage()); inter.setSourceNode(c.getSourceNode()); inter.setTag(c.getTag()); for (ATokenNameIR n : c.getSuperNames()) { inter.getExtension().add(n.clone()); } return inter; }
for (AMethodDeclIR method : classCg.getMethods()) if (method.getIsConstructor() && method.getFormalParams().isEmpty())
if (enclosingMethod.getIsConstructor())
if (node.getIsConstructor())
&& !isIRGenerated(methodIR)) if (!methodIR.getIsConstructor() && !methodIR.getAbstract()) if (methodIR.getIsConstructor())
if (!method.getIsConstructor())