public void addTagStart(ITypedRegion start){
  ITypedRegion userRegion=getUserRegion();
  if (userRegion != null) {
    stack.push(userRegion);
  }
  TLCRegion startRegion=new TLCRegion(start.getOffset(),start.getLength(),start.getType());
  startRegion.setMessageCode(getMessageCode(start,START));
  startRegion.setSeverity(getSeverity(start));
  stack.push(startRegion);
}

public void addTagStart ( ITypedRegion start ) { ITypedRegion userRegion = getUserRegion ( ) ; if ( userRegion != null ) { stack . push ( userRegion ) ; } TLCRegion startRegion = new TLCRegion ( start . getOffset ( ) , start . getLength ( ) , start . getType ( ) ) ; startRegion . setMessageCode ( getMessageCode ( start , START ) ) ; startRegion . setSeverity ( getSeverity ( start ) ) ; stack . push ( startRegion ) ; }
add start of coverage
