Method getInteger(String nm, int val)
Return type:
java.lang.Integer
Member of:
java.lang.Integer
[
api documentation
] [
main menu
]
Examples of how the element is used
(one line per example):
[
add your own example
]
1
private int _port = Integer.getInteger("STOP.PORT",8079).intValue();
2
Integer.getInteger(
3
("org.openide.filesystems.JarFileSystem.REFRESH_TIME",0).intValue(); // NOI18N
4
Integer.getInteger("POOL_MIN",2).intValue();
5
nt.makeTransparency(this, Integer.getInteger("jmsn.transparency", 255).intValue());
6
Integer.getInteger("org.netbeans.core.TopLogging.LOG_COUNT", 3).intValue(); // NOI18N
7
verbosity = Integer.getInteger("org.cougaar.trigger.verbosity",0).intValue();
8
tunnelPort = Integer.getInteger("https.proxyPort", 80).intValue();
9
Integer.getInteger("FONT_SIZE", defaultSize).intValue());
Java and J2SE are trademarks or registered trademarks of Sun Microsystems, Inc. in the United States and other Countries.