Package edu.wpi.grip.core.settings
Class ProjectSettings
- java.lang.Object
-
- edu.wpi.grip.core.settings.ProjectSettings
-
- All Implemented Interfaces:
Settings
,java.lang.Cloneable
public class ProjectSettings extends java.lang.Object implements Settings, java.lang.Cloneable
This object holds settings that are saved in project files. This includes things like team numbers, which need to be preserved when deploying the project.
-
-
Constructor Summary
Constructors Constructor Description ProjectSettings()
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description ProjectSettings
clone()
java.lang.String
getDeployAddress()
java.lang.String
getDeployDir()
java.lang.String
getDeployJavaHome()
java.lang.String
getDeployJvmOptions()
java.lang.String
getDeployUser()
java.lang.String
getPublishAddress()
int
getTeamNumber()
void
setDeployAddress(java.lang.String deployAddress)
void
setDeployDir(java.lang.String deployDir)
void
setDeployJavaHome(java.lang.String deployJavaHome)
void
setDeployJvmOptions(java.lang.String deployJvmOptions)
void
setDeployUser(java.lang.String deployUser)
void
setPublishAddress(java.lang.String publishAddress)
void
setTeamNumber(int teamNumber)
Set the FRC team number.java.lang.String
toString()
-
-
-
Method Detail
-
getTeamNumber
public int getTeamNumber()
-
setTeamNumber
public void setTeamNumber(@Nonnegative int teamNumber)
Set the FRC team number. If the deploy address and NetworkTables server address haven't been manually overridden, this also changes them to the mDNS hostname of the team's roboRIO.
-
getPublishAddress
public java.lang.String getPublishAddress()
-
setPublishAddress
public void setPublishAddress(@Nullable java.lang.String publishAddress)
-
getDeployAddress
public java.lang.String getDeployAddress()
-
setDeployAddress
public void setDeployAddress(@Nullable java.lang.String deployAddress)
-
getDeployDir
public java.lang.String getDeployDir()
-
setDeployDir
public void setDeployDir(@Nullable java.lang.String deployDir)
-
getDeployUser
public java.lang.String getDeployUser()
-
setDeployUser
public void setDeployUser(@Nullable java.lang.String deployUser)
-
getDeployJavaHome
public java.lang.String getDeployJavaHome()
-
setDeployJavaHome
public void setDeployJavaHome(@Nullable java.lang.String deployJavaHome)
-
getDeployJvmOptions
public java.lang.String getDeployJvmOptions()
-
setDeployJvmOptions
public void setDeployJvmOptions(@Nullable java.lang.String deployJvmOptions)
-
toString
public java.lang.String toString()
- Overrides:
toString
in classjava.lang.Object
-
clone
public ProjectSettings clone()
- Overrides:
clone
in classjava.lang.Object
-
-