/** * Constructor. * * @param emitter * @param symbolTable * @param faultInfo */ protected JavaFaultWriter(Emitter emitter, SymbolTable symbolTable, FaultInfo faultInfo) { super(emitter, Utils.getFullExceptionName(faultInfo.getMessage(), symbolTable), "fault"); this.literal = faultInfo.getUse().equals(Use.LITERAL); this.faultMessage = faultInfo.getMessage(); this.symbolTable = symbolTable; this.faultName = faultInfo.getName(); } // ctor
/** * Constructor. * * @param emitter * @param symbolTable * @param faultInfo */ protected JavaFaultWriter(Emitter emitter, SymbolTable symbolTable, FaultInfo faultInfo) { super(emitter, Utils.getFullExceptionName(faultInfo.getMessage(), symbolTable), "fault"); this.literal = faultInfo.getUse().equals(Use.LITERAL); this.faultMessage = faultInfo.getMessage(); this.symbolTable = symbolTable; this.faultName = faultInfo.getName(); } // ctor
/** * Constructor. * * @param emitter * @param symbolTable * @param faultInfo */ protected JavaFaultWriter(Emitter emitter, SymbolTable symbolTable, FaultInfo faultInfo) { super(emitter, Utils.getFullExceptionName(faultInfo.getMessage(), symbolTable), "fault"); this.literal = faultInfo.getUse().equals(Use.LITERAL); this.faultMessage = faultInfo.getMessage(); this.symbolTable = symbolTable; this.faultName = faultInfo.getName(); } // ctor