[eclipse-clp-users] Read integer from user (without a dot)

From: Sergey Dymchenko <kit1980_at_gmail.com>
Date: Wed, 21 Sep 2011 20:22:21 +0300

Sorry for probably stupid question, but I can't find an answer.

How to read an integer from user?
read(N) requires user to end input with dot,
read_line(N) returns a string, not an integer...

Sergey.

Received on Wed Sep 21 2011 - 17:22:27 CEST

This message: [ Message body ]
Next message: Kish Shen: "Re: [eclipse-clp-users] Read integer from user (without a dot)"
Previous message: Kish Shen: "Re: [eclipse-clp-users] Java-embedding problem with v6.1 (dev build 85) on Win7 64"
Next in thread: Kish Shen: "Re: [eclipse-clp-users] Read integer from user (without a dot)"
Reply: Kish Shen: "Re: [eclipse-clp-users] Read integer from user (without a dot)"

Mail actions: [ respond to this message ] [ mail a new topic ]
Contemporary messages sorted: [ by date ] [ by thread ] [ by subject ] [ by author ] [ by messages with attachments ]

This archive was generated by hypermail 2.2.0 : Thu Feb 02 2012 - 02:31:58 CET