001    package toolbus.exceptions;
002    
003    import toolbus.parsercup.PositionInformation;
004    
005    public class ToolBusExecutionException extends ToolBusException{
006            private static final long serialVersionUID = 2999237502451488539L;
007            
008            private final PositionInformation posInfo;
009            
010            public ToolBusExecutionException(String message, PositionInformation posInfo){
011                    super(message+" @ "+posInfo);
012                    
013                    this.posInfo = posInfo;
014            }
015            
016            public PositionInformation getPositionInformation(){
017                    return posInfo;
018            }
019    }