if (vdmCodeScanner == null)
{
vdmCodeScanner = getCodeScanner();
}
DefaultDamagerRepairer dr = new DefaultDamagerRepairer(vdmCodeScanner);
reconciler.setDamager(dr, SINGLELINE_COMMENT);
reconciler.setRepairer(dr, SINGLELINE_COMMENT);
dr = new DefaultDamagerRepairer(getCodeScanner());
reconciler.setDamager(dr, MULTILINE_COMMENT);
reconciler.setRepairer(dr, MULTILINE_COMMENT);
dr = new DefaultDamagerRepairer(getCodeScanner());
reconciler.setDamager(dr, STRING);
reconciler.setRepairer(dr, STRING);
dr = new DefaultDamagerRepairer(getCodeScanner());
reconciler.setDamager(dr, IDocument.DEFAULT_CONTENT_TYPE);
reconciler.setRepairer(dr, IDocument.DEFAULT_CONTENT_TYPE);
}
return reconciler;
}