|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||
java.lang.Objectorg.duelengine.duel.codegen.CodeGenSettings
public class CodeGenSettings
Settings which affect generated code
| Constructor Summary | |
|---|---|
CodeGenSettings()
|
|
| Method Summary | |
|---|---|
String |
getClientNamePrefix()
|
boolean |
getConvertLineEndings()
Gets if line endings and tabs from original document should be normalized to their settings values |
boolean |
getEncodeNonASCII()
Gets if characters above ASCII should always be encoded in HTML |
String |
getFullClientName(String name)
|
String |
getFullServerName(String name)
|
String |
getIndent()
Gets the string used for source indentation |
String |
getNewline()
Gets the string used for line endings |
boolean |
getNormalizeWhitespace()
Gets if all whitespace literals should be normalized (replaced by single space) |
String |
getServerNamePrefix()
|
boolean |
hasClientNamePrefix()
|
boolean |
hasServerNamePrefix()
|
void |
setClientNamePrefix(String value)
|
void |
setConvertLineEndings(boolean value)
Sets if line endings and tabs from original document should be normalized to their settings values |
void |
setEncodeNonASCII(boolean value)
Sets if characters above ASCII should always be encoded in HTML |
void |
setIndent(String value)
Sets the string used for source indentation |
void |
setNewline(String value)
Sets the string used for line endings |
void |
setNormalizeWhitespace(boolean value)
Sets if all whitespace literals should be normalized (replaced by single space) |
void |
setServerNamePrefix(String value)
|
| Methods inherited from class java.lang.Object |
|---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
| Constructor Detail |
|---|
public CodeGenSettings()
| Method Detail |
|---|
public void setClientNamePrefix(String value)
public String getClientNamePrefix()
public boolean hasClientNamePrefix()
public String getFullClientName(String name)
public void setServerNamePrefix(String value)
public String getServerNamePrefix()
public boolean hasServerNamePrefix()
public String getFullServerName(String name)
public String getIndent()
public void setIndent(String value)
value - public String getNewline()
public void setNewline(String value)
value - public boolean getConvertLineEndings()
public void setConvertLineEndings(boolean value)
value - public boolean getEncodeNonASCII()
public void setEncodeNonASCII(boolean value)
value - public boolean getNormalizeWhitespace()
public void setNormalizeWhitespace(boolean value)
value -
|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||