Skip to content

Commit

Permalink
Cleaned version of constants_imp ('is' removed)
Browse files Browse the repository at this point in the history
  • Loading branch information
Thomas Beale committed Aug 11, 2010
1 parent 58939f5 commit 569646f
Showing 1 changed file with 59 additions and 59 deletions.
118 changes: 59 additions & 59 deletions apps/adl_workbench/src/main/constants_imp.e
Expand Up @@ -111,23 +111,6 @@ feature -- Access
set_with_named_file (Result.item, a_file_name)
end

label_font: EV_FONT
-- `Result' is EV_FONT constant named `label_font'.
do
Result := label_font_cell.item
end

label_font_cell: CELL [EV_FONT]
--`Result' is once access to a cell holding vale of `label_font'.
once
create Result.put (create {EV_FONT})
Result.item.set_family ({EV_FONT_CONSTANTS}.Family_sans)
Result.item.set_weight ({EV_FONT_CONSTANTS}.Weight_bold)
Result.item.set_shape ({EV_FONT_CONSTANTS}.Shape_regular)
Result.item.set_height_in_points (8)
Result.item.preferred_families.extend ("System")
end

status_area_min_height: INTEGER
-- `Result' is INTEGER constant named `status_area_min_height'.
do
Expand Down Expand Up @@ -176,16 +159,16 @@ feature -- Access
create Result.put (2000)
end

max_terms_height: INTEGER
-- `Result' is INTEGER constant named `max_terms_height'.
dialog_padding_width: INTEGER
-- `Result' is INTEGER constant named `dialog_padding_width'.
do
Result := max_terms_height_cell.item
Result := dialog_padding_width_cell.item
end

max_terms_height_cell: CELL [INTEGER]
--`Result' is once access to a cell holding vale of `max_terms_height'.
dialog_padding_width_cell: CELL [INTEGER]
--`Result' is once access to a cell holding vale of `dialog_padding_width'.
once
create Result.put (400)
create Result.put (15)
end

min_terms_status_height: INTEGER
Expand All @@ -212,6 +195,18 @@ feature -- Access
create Result.put (600)
end

app_initial_width: INTEGER
-- `Result' is INTEGER constant named `app_initial_width'.
do
Result := app_initial_width_cell.item
end

app_initial_width_cell: CELL [INTEGER]
--`Result' is once access to a cell holding vale of `app_initial_width'.
once
create Result.put (1024)
end

max_arch_explorer_width: INTEGER
-- `Result' is INTEGER constant named `max_arch_explorer_width'.
do
Expand All @@ -224,6 +219,18 @@ feature -- Access
create Result.put (180)
end

max_terms_height: INTEGER
-- `Result' is INTEGER constant named `max_terms_height'.
do
Result := max_terms_height_cell.item
end

max_terms_height_cell: CELL [INTEGER]
--`Result' is once access to a cell holding vale of `max_terms_height'.
once
create Result.put (400)
end

editable_colour: EV_COLOR
-- `Result' is EV_COLOR constant named `editable_colour'.
do
Expand Down Expand Up @@ -272,18 +279,6 @@ feature -- Access
create Result.put (100)
end

desc_label_width: INTEGER
-- `Result' is INTEGER constant named `desc_label_width'.
do
Result := desc_label_width_cell.item
end

desc_label_width_cell: CELL [INTEGER]
--`Result' is once access to a cell holding vale of `desc_label_width'.
once
create Result.put (70)
end

app_initial_height: INTEGER
-- `Result' is INTEGER constant named `app_initial_height'.
do
Expand Down Expand Up @@ -320,16 +315,16 @@ feature -- Access
create Result.put (35)
end

app_min_width: INTEGER
-- `Result' is INTEGER constant named `app_min_width'.
app_max_height: INTEGER
-- `Result' is INTEGER constant named `app_max_height'.
do
Result := app_min_width_cell.item
Result := app_max_height_cell.item
end

app_min_width_cell: CELL [INTEGER]
--`Result' is once access to a cell holding vale of `app_min_width'.
app_max_height_cell: CELL [INTEGER]
--`Result' is once access to a cell holding vale of `app_max_height'.
once
create Result.put (500)
create Result.put (2000)
end

main_vbox_min_height: INTEGER
Expand Down Expand Up @@ -368,16 +363,16 @@ feature -- Access
create Result.put (100)
end

dialog_padding_width: INTEGER
-- `Result' is INTEGER constant named `dialog_padding_width'.
desc_label_width: INTEGER
-- `Result' is INTEGER constant named `desc_label_width'.
do
Result := dialog_padding_width_cell.item
Result := desc_label_width_cell.item
end

dialog_padding_width_cell: CELL [INTEGER]
--`Result' is once access to a cell holding vale of `dialog_padding_width'.
desc_label_width_cell: CELL [INTEGER]
--`Result' is once access to a cell holding vale of `desc_label_width'.
once
create Result.put (15)
create Result.put (70)
end

min_list_height: INTEGER
Expand All @@ -392,16 +387,16 @@ feature -- Access
create Result.put (50)
end

app_max_height: INTEGER
-- `Result' is INTEGER constant named `app_max_height'.
app_min_width: INTEGER
-- `Result' is INTEGER constant named `app_min_width'.
do
Result := app_max_height_cell.item
Result := app_min_width_cell.item
end

app_max_height_cell: CELL [INTEGER]
--`Result' is once access to a cell holding vale of `app_max_height'.
app_min_width_cell: CELL [INTEGER]
--`Result' is once access to a cell holding vale of `app_min_width'.
once
create Result.put (2000)
create Result.put (500)
end

arch_tree_min_width: INTEGER
Expand Down Expand Up @@ -481,16 +476,21 @@ feature -- Access
create Result.put (4)
end

app_initial_width: INTEGER
-- `Result' is INTEGER constant named `app_initial_width'.
label_font: EV_FONT
-- `Result' is EV_FONT constant named `label_font'.
do
Result := app_initial_width_cell.item
Result := label_font_cell.item
end

app_initial_width_cell: CELL [INTEGER]
--`Result' is once access to a cell holding vale of `app_initial_width'.
label_font_cell: CELL [EV_FONT]
--`Result' is once access to a cell holding vale of `label_font'.
once
create Result.put (1024)
create Result.put (create {EV_FONT})
Result.item.set_family ({EV_FONT_CONSTANTS}.Family_sans)
Result.item.set_weight ({EV_FONT_CONSTANTS}.Weight_bold)
Result.item.set_shape ({EV_FONT_CONSTANTS}.Shape_regular)
Result.item.set_height_in_points (8)
Result.item.preferred_families.extend ("System")
end

feature -- Access
Expand Down

0 comments on commit 569646f

Please sign in to comment.