jp.ac.fun.osawalab.tileworld.server
クラス Property

java.lang.Object
  jp.ac.fun.osawalab.tileworld.server.Property

public class Property
extends Object

Propertyは、 タイルワールドサーバーの設定を引き受けるクラスです。 タイルワールドの設定ファイル （デフォルトではdefault.ini、メインメソッドの引数でパスを指定することもできる。） を読み込んで、サーバーの初期化に利用します。

作成者:

高山 貴裕（公立はこだて未来大学 システム情報科学研究科 大沢研究室）

メソッドの概要

double	getHoleAppearRate() 穴が出現するパラメータ（HOLE_APPER_RATE）を返します。
double	getHoleDisappearRate() 穴が消滅するパラメータ（HOLE_DISAPPER_RATE）を返します。
static Property	getInstance() このクラスのインスタンスを返します。
int	getMaxClock() ゲームが終了するクロック（MAX_CLOCK）を返します。
double	getObstacleAppearRate() 障害物が出現するパラメータ（OBSTACLE_APPER_RATE）を返します。
double	getObstacleDisappearRate() 障害物が消滅するパラメータ（OBSTACLE_DISAPPER_RATE）を返します。
int	getPort() クライアントが接続する、サーバー側のポート（SERVER_PORT）を返します。
String	getProperty(String key) 特定のキーに対するプロパティの値を返します。
String	getRuleType() ルールのタイプ（RULE_TYPE）を返します。
String	getServerType() サーバーのタイプ（SERVER_TYPE）を返します。
long	getTickSpan() 世界を更新する間隔（TICK_SPAN）をかえします。
String	getVersion() このサーバーのバージョンを返します。
int	getViewSize() エージェントの視界のパラメータ(VIEW_SIZE)を返します。
String	getWorldFileName() 世界の初期ファイルのパスを返します。
static void	main(String[] args) デフォルトのプロパティファイルを、メインメソッドの引数から取得できます。

クラス java.lang.Object から継承されたメソッド

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

メソッドの詳細

getInstance

public static Property getInstance()

このクラスのインスタンスを返します。

戻り値:

このクラスのインスタンス。

main

public static void main(String[] args)

デフォルトのプロパティファイルを、メインメソッドの引数から取得できます。

パラメータ:

args - プロパティファイルのパス。

getHoleAppearRate

public double getHoleAppearRate()

穴が出現するパラメータ（HOLE_APPER_RATE）を返します。

戻り値:

穴が出現するパラメータ。

getHoleDisappearRate

public double getHoleDisappearRate()

穴が消滅するパラメータ（HOLE_DISAPPER_RATE）を返します。

戻り値:

穴が消滅するパラメータ。

getMaxClock

public int getMaxClock()

ゲームが終了するクロック（MAX_CLOCK）を返します。

戻り値:

ゲームが終了するクロック。

getObstacleAppearRate

public double getObstacleAppearRate()

障害物が出現するパラメータ（OBSTACLE_APPER_RATE）を返します。

戻り値:

障害物が出現するパラメータ。

getObstacleDisappearRate

public double getObstacleDisappearRate()

障害物が消滅するパラメータ（OBSTACLE_DISAPPER_RATE）を返します。

戻り値:

障害物が消滅するパラメータ。

getPort

public int getPort()

クライアントが接続する、サーバー側のポート（SERVER_PORT）を返します。

戻り値:

クライアントが接続する、サーバー側のポート。

getProperty

public String getProperty(String key)

特定のキーに対するプロパティの値を返します。

パラメータ:

key - 取得したいプロパティーのキー。

戻り値:

キーに対応する値。

関連項目:

Properties.getProperty(java.lang.String)

getRuleType

public String getRuleType()

ルールのタイプ（RULE_TYPE）を返します。

戻り値:

ルールのタイプ。

getServerType

public String getServerType()

サーバーのタイプ（SERVER_TYPE）を返します。

戻り値:

サーバーのタイプ。

getTickSpan

public long getTickSpan()

世界を更新する間隔（TICK_SPAN）をかえします。単位は秒です。

戻り値:

世界を更新する間隔。

getVersion

public String getVersion()

このサーバーのバージョンを返します。

戻り値:

このサーバーのバージョン。

getViewSize

public int getViewSize()

エージェントの視界のパラメータ(VIEW_SIZE)を返します。

戻り値:

エージェントの視界のパラメータ(VIEW_SIZE)を返します。

getWorldFileName

public String getWorldFileName()

世界の初期ファイルのパスを返します。

戻り値:

初期ファイルのパス。