java - Design-by-contract finding pre-conditions -


i have create calculator in java, based on interface.

public interface calculatorif {     int add(int x, int y);     int sub(int x, int y);     int mult(int x, int y);     //double div(int x, int y);     //int sqrt(int x); }

but every method, need pre-post conditions. need pre-conditions, because can't imagine single 1 makes sense , isn't handled java.

edit: division , sqrt clear me, need ideas add, sub , mult.

if add 2 integer.max_value values, result not fit int , truncated. on other hand, if input domain restricted, can guarantee result not truncated , has expected value instead.

for example, if x <= integer.max_value / 2 , y <= integer.max_value / 2, sum x + y less or equal integer.max_value, there no truncation positive integers. similar reasoning can used negative values , integer.min_value. preconditions subtraction can done same way.

for multiplication, if either operand absolute value less sqrt (integer.max_value), product inside range of int.

more sophisticated ways detect overflow , underflow possible, class exercise such preconditions seem fine.


-

Comments

Post a Comment

Popular posts from this blog

java - SSE Emitter : Manage timeouts and complete() -

i writing web app multiple listeners(evcentsource sse clients js) connected server . want store sse emitter per connected listener : can done in memory or other means assigning id each client able achieve far now question ; how send response/event specific client connected web app ? while doing sseemmiters stored either getting completed or timed out. how prevent ? how keep sseemmiter available open infinite time (till client closes) , send events selectively .
Read more

jquery - uncaught exception: DataTables Editor - remote hosting of code not allowed -

i'm trying implement crud operation using datatableseditor using datatables.but i'm getting error messages: 1)uncaught exception: datatables editor - remote hosting of code not allowed. please see http://editor.datatables.net details on how purchase editor license 2)typeerror: a.editor undefined 3) $.fn.datatable.editor not constructor" what reason? here configuration: <%@ page language="java" contenttype="text/html; charset=iso-8859-1" pageencoding="iso-8859-1"%> <!doctype html public "-//w3c//dtd html 4.01 transitional//en" "http://www.w3.org/tr/html4/loose.dtd"> <html> <head> <meta http-equiv="content-type" content="text/html; charset=iso-8859-1"> <title>insert title here</title> <link rel="stylesheet" type="text/css" href="//cdn.datatables.net/1.10.12/css/jquery.datatables.min.css"> <link re...
Read more

java - InvalidDataAccessApiUsageException: Parameter value element did not match expected type -

i'm trying execute in query using spring data. model looks this: @entity @table(name = "customer", schema = "public", catalog = "postgres") public class customerentity { private int id; private string name; private int balance; private string bankid; @id @column(name = "id") public int getid() { return id; } public void setid(int id) { this.id = id; } @basic @column(name = "name") public string getname() { return name; } public void setname(string name) { this.name = name; } @basic @column(name = "balance") public int getbalance() { return balance; } public void setbalance(int balance) { this.balance = balance; } @basic @column(name = "bank_id") public string getbankid() { return bankid; } public void setbankid(string bankid) { th...
Read more