mirror of
https://github.com/EiffelSoftware/eiffel-org.git
synced 2025-12-07 07:12:25 +01:00
Author:halw
Date:2009-08-21T00:21:07.000000Z git-svn-id: https://svn.eiffel.com/eiffel-org/trunk@287 abb3cda0-5349-4a8f-a601-0c33ac3a8c38
This commit is contained in:
@@ -1,7 +1,7 @@
|
||||
[[Property:title|Browsing tools]]
|
||||
[[Property:weight|-13]]
|
||||
[[Property:uuid|b4e840c3-a635-b5dd-fbd2-0db69b3d6ce1]]
|
||||
The browsing tools are the address bars as well as all the tools that are in the left panel of development windows in normal mode. They help find an item in the system, such as a class, a cluster, a feature, some text, ... They include the [[Address bars|address bars]], the [[Cluster tool|cluster tool]], the [[Feature tool|feature tool]], the [[Favorites tool|favorites tool]], the [[Windows tool|windows tool]], and the [[Search tool|search tool]] .
|
||||
The browsing tools are the address bars as well as all the tools that are in the left panel of development windows in normal mode. They help find an item in the system, such as a class, a cluster, a feature, some text, ... They include the [[Address bars|address bars]], the [[Groups tool|groups tool]], the [[Feature tool|feature tool]], the [[Favorites tool|favorites tool]], the [[Windows tool|windows tool]], and the [[Search tool|search tool]] .
|
||||
|
||||
{{seealso|<br/>
|
||||
[[EiffelStudio window overview|General window overview]] }}
|
||||
|
||||
@@ -1,7 +1,7 @@
|
||||
[[Property:title|DATE / TIME to STRING Conversion]]
|
||||
[[Property:weight|3]]
|
||||
[[Property:uuid|88972ba4-694b-8558-b0c8-87b1fc40afc4]]
|
||||
The classes <eiffel>TIME</eiffel>, <eiffel>DATE</eiffel>, and <eiffel>DATE_TIME</eiffel> provide a query <eiffel>formatted_out</eiffel> which can be used to retrieve a string containing the date or time in a format specified by a string or format conversion codes that the caller provides as an argument. So for example, if a <eiffel>DATE</eiffel> instance referenced by <eiffel>my_date</eiffel> has a value of February 3, 2008, then applying the query:
|
||||
The classes <eiffel>TIME</eiffel>, <eiffel>DATE</eiffel>, and <eiffel>DATE_TIME</eiffel> provide a query <eiffel>formatted_out</eiffel> which can be used to retrieve a string containing the date or time in a format specified by a string or format conversion codes that the caller provides as an argument. The conversion is done in the <eiffel>DATE_TIME_CODE_STRING</eiffel> class. So for example, if a <eiffel>DATE</eiffel> instance referenced by <eiffel>my_date</eiffel> has a value of February 3, 2008, then applying the query:
|
||||
<eiffel>
|
||||
my_date.formatted_out ("[0]dd mmm yyyy")
|
||||
</eiffel>
|
||||
|
||||
Reference in New Issue
Block a user